« Previous | Next » 

Revision d4f72db3

IDd4f72db31a512eafbb8aff4e5c1226fa59879382
Parent 96264d4d
Child 89e7de98

Added by Martin Mares about 20 years ago

When distcleaning, clean up doc as well.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences