diff -r 541e50adfc73 -r f088c10208c0 lib/Tools/display
--- a/lib/Tools/display	Wed Apr 13 18:48:05 2005 +0200
+++ b/lib/Tools/display	Wed Apr 13 18:48:19 2005 +0200
@@ -79,3 +79,4 @@
 else
   exec $VIEWER "$FILE"
 fi
+