diff options
| author | Jose <jose@zeroc.com> | 2014-11-07 21:28:00 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2014-11-07 21:28:00 +0100 |
| commit | f99742d525f519996a6d321afb323a67fd9be4f9 (patch) | |
| tree | f7b4454611d64d1a28bf9609aa64234fe78d3f53 /java/allDemos.py | |
| parent | Some IceJS linting fixes (diff) | |
| download | ice-f99742d525f519996a6d321afb323a67fd9be4f9.tar.bz2 ice-f99742d525f519996a6d321afb323a67fd9be4f9.tar.xz ice-f99742d525f519996a6d321afb323a67fd9be4f9.zip | |
Fix for (ICE-5832) Versioning of Jar files
Renaming JAR files
Diffstat (limited to 'java/allDemos.py')
| -rwxr-xr-x | java/allDemos.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/java/allDemos.py b/java/allDemos.py index e63f315d13e..55e7bea2933 100755 --- a/java/allDemos.py +++ b/java/allDemos.py @@ -53,11 +53,11 @@ demos = [ "Freeze/library", "Freeze/transform", "Freeze/casino", - "manual/evictor_filesystem", - "manual/map_filesystem", - "manual/simple_filesystem", - "manual/printer", - "manual/lifecycle", + "Manual/evictor_filesystem", + "Manual/map_filesystem", + "Manual/simple_filesystem", + "Manual/printer", + "Manual/lifecycle", ] if __name__ == "__main__": |