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 /py/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 'py/allDemos.py')
| -rwxr-xr-x | py/allDemos.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/py/allDemos.py b/py/allDemos.py index a908468d212..42fe8b94b1a 100755 --- a/py/allDemos.py +++ b/py/allDemos.py @@ -37,8 +37,8 @@ demos = [ "Ice/throughput", "Ice/value", "IceDiscovery/hello", - "manual/printer", - "manual/simple_filesystem" + "Manual/printer", + "Manual/simple_filesystem" ] # |