diff options
Diffstat (limited to 'java/allDemos.py')
-rwxr-xr-x | java/allDemos.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/allDemos.py b/java/allDemos.py index 35a6254e1f6..076726ecbcc 100755 --- a/java/allDemos.py +++ b/java/allDemos.py @@ -39,6 +39,7 @@ demos = [ "Ice/session", "Ice/throughput", "Ice/value", + "Ice/optional", "IceBox/hello", "IceStorm/clock", "IceGrid/simple", |