Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Andrew Hirsch
Pirouette Coq Code
Repository
2203b5686bcea72c04b946f6c14b5ad2de2f1042
Switch branch/tag
pirouette-coq
LocalLang.v
Find file
Blame
History
Permalink
Comments for local languages.
· 2203b568
Andrew Hirsch
authored
Sep 21, 2021
2203b568
Replace LocalLang.v
×
Attach a file by drag & drop or
click to upload
Commit message
Replace LocalLang.v
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.
