« Previous | Next » 

Revision 9a72c41e

ID9a72c41e1b3d5653b6e3079afd20055020707bf5
Parent 6ca4487d
Child 13ce8193

Added by Carlos Martín over 7 years ago

Feature #2778: Remove auto-refresh, add a 'top command' button

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences