mirror of
https://github.com/github/gitignore.git
synced 2025-04-12 23:59:01 +08:00
Merge d1c12f75a624ee59182c36be0cb0226ebe0986c2 into 86d1826a9f3daf4744e7229a26187f81c081744c
This commit is contained in:
commit
62b30f3ff2
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…
x
Reference in New Issue
Block a user