« Previous | Next » 

Revision 707ef833

ID707ef833783ef731c56baae1c0dc7b7a9e7321ff
Parent 9c11ec9e
Child dce26783

Added by Martin Mares almost 22 years ago

Pruned the TODO list.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences