This website requires JavaScript.
Explore
Help
Sign In
ddmt
/
gitdts
Watch
1
Star
0
Fork
0
You've already forked gitdts
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
9bada628f202e16900f1be8ad73c9bceefb4f5e4
gitdts
/
Makefile
Antoine GIRARD
9bada628f2
make: add release-sources (
#10295
)
...
* make: add release-sources * make: release-sources exclude .git and make_evidence
2020-02-16 12:53:02 -05:00
22 KiB
Raw
Blame
History
View Raw
Reference in New Issue
View Git Blame
Copy Permalink