Revision 963dfc33
ID | 963dfc33455713e70138587a1c5c743c7b62cccd |
Parent | 586967c0 |
Child | e905a3f5 |
force absolute path in addterms command
Refs: #2019
Files
- added
- modified
- copied
- renamed
- deleted
ID | 963dfc33455713e70138587a1c5c743c7b62cccd |
Parent | 586967c0 |
Child | e905a3f5 |
Added by Sofia Papagiannaki over 12 years ago
force absolute path in addterms command
Refs: #2019