« Previous | Next » 

Revision 2b837adf

ID2b837adfdd4d62c2e4b3755b8230d18c54b06b52

Added by Kostas Papadimitriou almost 13 years ago

improved dummy console object. Refs. #717

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences