« Previous | Next » 

Revision eeb05158

IDeeb05158acd0cb8def7aa155c2c718f608e6a5ae
Parent 72380a34
Child 489b6b5e

Added by Pavel Machek about 21 years ago

Be a tiny bit more verbose.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences