« Previous | Next » 

Revision 78c6217c

ID78c6217c1e9f8a46026cecf6a6369b72d5d883b0
Parent f7d534cf
Child 77de6882

Added by Pavel Machek over 21 years ago

Path printing is now much nicer: not having to put it backward
simplifies it. (Sorry for previous commit, cvs is naughty).

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences