Revision 19a8422d
ID | 19a8422dd16b7092004c64a34c539ef355d41c35 |
Parent | bc868580 |
Child | 156ffa6c |
feature #1642: now --ssh uses a file as input
Files
- added
- modified
- copied
- renamed
- deleted
ID | 19a8422dd16b7092004c64a34c539ef355d41c35 |
Parent | bc868580 |
Child | 156ffa6c |
Added by Javi Fontan over 8 years ago
feature #1642: now --ssh uses a file as input