« Previous | Next » 

Revision 7df86c25

ID7df86c25fc6c871795265faebe02bf4dcecdd190
Parent b7e9c74c
Child 8bf684ec

Added by Ondrej Filip over 17 years ago

Better checking of configuration.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences