Revision 54be0429
ID | 54be0429cf88816e97a00752686218a9f91fa1a2 |
Removed version number from runtests helper script
Files
- added
- modified
- copied
- renamed
- deleted
ID | 54be0429cf88816e97a00752686218a9f91fa1a2 |
Added by Kostas Papadimitriou over 12 years ago
Removed version number from runtests helper script