« Previous | Next » 

Revision d7e49c13

IDd7e49c13e9c886e2f37af7a9b2c41729f91dc807
Parent 7900ed01
Child a2656173

Added by Michael Hanselmann about 15 years ago

Small wording changes and fix checks.

Reviewed-by: iustinp

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences