Revision e37511b1
ID | e37511b133b54436c5a6ac5c1c87ca1db2e62562 |
Parent | ee908119 |
Child | 69b16605 |
Allow setting the input file name
Files
- added
- modified
- copied
- renamed
- deleted
ID | e37511b133b54436c5a6ac5c1c87ca1db2e62562 |
Parent | ee908119 |
Child | 69b16605 |
Added by Luca Abeni almost 11 years ago
Allow setting the input file name