about summary refs log tree commit diff
path: root/users/wpcarro/scratch/compiler/.gitignore
a.out
*.cmi