« Previous | Next » 

Revision 5c908a0f

ID5c908a0fec87fbb14c5cd611ea5dbfb141e5978c

Added by Christos Psaltis about 13 years ago

Same font colors in terminated and active machines

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences