Add dist and change make_dist
This commit is contained in:
parent
a5ffe19dd8
commit
50e9bb6d59
31 changed files with 996 additions and 1 deletions
0
scripts/fix-makefiles.sh
Normal file → Executable file
0
scripts/fix-makefiles.sh
Normal file → Executable file
Loading…
Add table
Add a link
Reference in a new issue