Merge pull request #4 from noplanman/botan_and_misc
Simplification
Description
Description
Details
Details
- Provenance
Jack'lul Authored on Dec 28 2016, 4:57 AM GitHub Committed on Dec 28 2016, 4:57 AM - Parents
- R123:347f513ad08b: Use same formatting as in DB.php.
R123:987dbf9c1397: Fix mistake - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes