mirror of
https://github.com/github/gitignore
synced 2025-07-04 20:38:31 +02:00
Merge d1c12f75a6
into 524ae7b4c7
This commit is contained in:
commit
2adbfb4c6e
1 changed files with 5 additions and 0 deletions
5
community/StandardML.gitignore
Normal file
5
community/StandardML.gitignore
Normal file
|
@ -0,0 +1,5 @@
|
||||||
|
# gitignore template for the Standard ML language
|
||||||
|
# website: https://smlfamily.github.io/
|
||||||
|
|
||||||
|
# SML/NJ Compilation Manager build directories
|
||||||
|
.cm/
|
Loading…
Add table
Add a link
Reference in a new issue