« Previous | Next » 

Revision 80787d41

ID80787d418bd028f59e34ffb08c1c221992fe3b41
Parent f8f1e1f1
Child fef1badf

Added by Ondrej Filip over 21 years ago

Dummy reconfigure added.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences