Revision 5e6357ff
ID | 5e6357ffff5b7eeb839c41b3b2c8c757a327cc2f |
Avoid spaces in new window name, fixes IE bug
Files
- added
- modified
- copied
- renamed
- deleted
ID | 5e6357ffff5b7eeb839c41b3b2c8c757a327cc2f |
Added by Kostas Papadimitriou over 12 years ago
Avoid spaces in new window name, fixes IE bug