Revision 3c3b2e98
ID | 3c3b2e981e31178e682f89cda707829d2f16506f |
Parent | 795dc660 |
Child | b218c52a |
feature #575: bug in exec_and_log
Files
- added
- modified
- copied
- renamed
- deleted
ID | 3c3b2e981e31178e682f89cda707829d2f16506f |
Parent | 795dc660 |
Child | b218c52a |
Added by Javi Fontan about 10 years ago
feature #575: bug in exec_and_log