about summary refs log tree commit diff
path: root/users/wpcarro/scratch/compiler/.gitignore
a.out
*.cmi
*.cmo
*.cmx
*.o
generated by cgit-pink 1.4.1 (git 2.44.0) at 2024-05-18T10ยท52+0000