« Previous | Next » 

Revision 7692aad1

ID7692aad10c22a58a6f83d82fc0b11db94cc777f9
Parent ec21aecf
Child 0e7a720a

Added by Pavel Machek over 21 years ago

Don't include Rules: they are not needed and break stand-alone make of documentation.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences