« Previous | Next » 

Revision 5e6357ff

ID5e6357ffff5b7eeb839c41b3b2c8c757a327cc2f

Added by Kostas Papadimitriou over 12 years ago

Avoid spaces in new window name, fixes IE bug

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences