Merge pull request #70 from wferi/dist
Add the notes and the docbook to the distribution
Description
Description
Details
Details
- Provenance
fabbione Authored on Oct 31 2017, 10:58 AM GitHub <noreply@github.com> Committed on Oct 31 2017, 10:58 AM - Parents
- rK6063577bbc63: Add the notes and the docbook to the distribution
rK0ff675024efe: Merge pull request #69 from kronosnet/build-fixes - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes