diff options
| author | Jose <jose@zeroc.com> | 2014-11-11 22:33:50 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2014-11-11 22:33:50 +0100 |
| commit | fefe5c503a8bec0882443e994db64f916f806b5e (patch) | |
| tree | f1881528106f75b50ab0f72ea6b5da6f90dc5b2e /cpp/allDemos.py | |
| parent | ICE-5863 - merge Java RPMs (diff) | |
| download | ice-fefe5c503a8bec0882443e994db64f916f806b5e.tar.bz2 ice-fefe5c503a8bec0882443e994db64f916f806b5e.tar.xz ice-fefe5c503a8bec0882443e994db64f916f806b5e.zip | |
Fixed (ICE-5857) rename manual -> Manual
Diffstat (limited to 'cpp/allDemos.py')
| -rwxr-xr-x | cpp/allDemos.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/cpp/allDemos.py b/cpp/allDemos.py index 9016bc46d9d..ef5d576842c 100755 --- a/cpp/allDemos.py +++ b/cpp/allDemos.py @@ -65,11 +65,11 @@ demos = [ "Freeze/backup", "Freeze/transform", "Freeze/casino", - "manual/map_filesystem", - "manual/evictor_filesystem", - "manual/simple_filesystem", - "manual/printer", - "manual/lifecycle"] + "Manual/map_filesystem", + "Manual/evictor_filesystem", + "Manual/simple_filesystem", + "Manual/printer", + "Manual/lifecycle"] if not Util.isNoServices(): demos += ["IceBox/hello", "IceGrid/icebox"] |