Extended the doc comments and replaced the shell script with a binary on Windows. Made code platform independent
Description
Description
Details
Details
- Provenance
kai Authored on Aug 6 2017, 3:27 PM patrick Committed on Aug 6 2017, 3:27 PM kai Pushed on Aug 15 2017, 9:05 PM - Parents
- rENIG4be593112147: fixed closing of database
- Branches
- Unknown
- Tags