Revision 10fdd01d
ID | 10fdd01dc8ac58d2beb25e4eb689e4a90d7362ac |
Parent | 1e9e781c |
Child | c5da46f1 |
fixed runner.py and added -v and -quick options
Files
- added
- modified
- copied
- renamed
- deleted
ID | 10fdd01dc8ac58d2beb25e4eb689e4a90d7362ac |
Parent | 1e9e781c |
Child | c5da46f1 |
Added by Brian O'Connor over 7 years ago
fixed runner.py and added -v and -quick options