« Previous | Next » 

Revision 40e77a49

ID40e77a49dbce979f78ae9d2f8517a58b08cd8fe0

Added by Kostas Papadimitriou almost 13 years ago

show okeanos icon for unknown os machines

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences