make -logtimestamps default on and rework help-message
Description
Description
Details
Details
- Provenance
Philip Kaufmann <phil.kaufmann@t-online.de> Authored on Oct 30 2013, 10:36 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC694c7c81610f: Merge pull request #3087
- Branches
- Unknown
- Tags