# HG changeset patch
# User paulb
# Date 1183827263 0
# Node ID 538454a419e24dba9482cfd55b0c3f0834904455
# Parent  9632281ac24c330f3d295c74f91ab3298dd4904a
[project @ 2007-07-07 16:54:23 by paulb]
Fixed filename used for the dictionary demo.

diff -r 9632281ac24c -r 538454a419e2 examples/Common/DemoApp.py
--- a/examples/Common/DemoApp.py	Sat Jul 07 16:54:12 2007 +0000
+++ b/examples/Common/DemoApp.py	Sat Jul 07 16:54:23 2007 +0000
@@ -75,7 +75,7 @@
     parts = os.path.split(exec_dir)
     if parts[-1] == "tools":
         parts = parts[:-1]
-    parts += ("docs", "LICENCE.txt")
+    parts += ("docs", "gpl-3.0.txt")
     doc = os.path.join(*parts)
     dict = Dict(doc)