divoc-git-talk/.gitignore

4 lines
15 B
Plaintext
Raw Normal View History

2020-04-11 20:26:02 +02:00
*~
*.cmi
*.cmo