« Previous | Next » 

Revision 6852c52f

ID6852c52f7ac4cfe0800d5b89f916f12b6b9943dd
Parent 6510a58a
Child 7d7609a3

Added by Guido Trotter almost 15 years ago

Fix a typo in a warning message

Reviewed-by: schreiberal

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences