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.2) at 2024-11-30T20ยท29+0000