author wenzelm

Wed, 13 Apr 2005 18:48:19 +0200

changeset 15718 f088c10208c0

parent 15717 541e50adfc73

child 15719 3285d665c891

lib/Tools/display file | annotate | diff | comparison | revisions
     1.1 --- a/lib/Tools/display	Wed Apr 13 18:48:05 2005 +0200
     1.2 +++ b/lib/Tools/display	Wed Apr 13 18:48:19 2005 +0200
     1.3 @@ -79,3 +79,4 @@
     1.4  else
     1.5    exec $VIEWER "$FILE"
     1.6  fi
     1.7 +