« Previous | Next » 

Revision 72282e2a

ID72282e2a1b52552eadd61a86659119db8478427d
Parent 416e3ee4
Child 0e5373fd

Added by Pavel Machek over 21 years ago

Fixed comment not to be misleading.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences