Revision 1b203e6e
ID | 1b203e6e31eef241ac55e9506969fabfc6be626e |
Parent | c7398f35 |
Child | 8acc41bc |
scripts: added auto-restart option (-R) to source.sh
Files
- added
- modified
- copied
- renamed
- deleted
ID | 1b203e6e31eef241ac55e9506969fabfc6be626e |
Parent | c7398f35 |
Child | 8acc41bc |
Added by Csaba Kiraly over 9 years ago
scripts: added auto-restart option (-R) to source.sh