Merge pull request #1856 from kgaillot/fixes
Get "make dist" working properly, including build and clean
Description
Description
Details
Details
- Provenance
kgaillot Authored on Aug 20 2019, 5:25 PM GitHub <noreply@github.com> Committed on Aug 20 2019, 5:25 PM - Parents
- rP4d388b37a13f: Test: Travis CI: update for recent changes
rPd8478ff19396: Merge pull request #1863 from kgaillot/comments - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes