git @ Cat's Eye Technologies The-Dipple / master fstar / .gitignore
master

Tree @master (Download .tar.gz)

.gitignore @masterraw · history · blame

1
2
3
4
5
6
7
8
# SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
# For more information, please refer to <https://unlicense.org/>
# SPDX-License-Identifier: Unlicense

*.ml
*.cmi
*.cmo
*.exe