Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Tej Chajed
stdpp
Repository
76fcc393688f82debf36dd8a01c79512266e91b7
Switch branch/tag
stdpp
.gitignore
Find file
Blame
History
Permalink
delete unnecessary Makefile.coq.local; update .gitignore
· 76fcc393
Ralf Jung
authored
Feb 03, 2018
76fcc393
Ralf Jung authored76fcc393