diff options
| author | Jose <jose@zeroc.com> | 2020-05-01 22:16:21 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2020-05-01 22:16:21 +0200 |
| commit | 45fbb0112ed55699aeb06885d242bb31db99ef9d (patch) | |
| tree | d3f6ce7887ce70d303621c72d5a51cdbcc70f312 /scripts/Util.py | |
| parent | Fix PR link (diff) | |
| download | ice-45fbb0112ed55699aeb06885d242bb31db99ef9d.tar.bz2 ice-45fbb0112ed55699aeb06885d242bb31db99ef9d.tar.xz ice-45fbb0112ed55699aeb06885d242bb31db99ef9d.zip | |
Fix Make install to not install JAR files to local maven repository
Diffstat (limited to 'scripts/Util.py')
0 files changed, 0 insertions, 0 deletions