.gitignore « abi « test - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/test/abi/.gitignore

blob: 5aa03c7c15e14f778f754b771b950ac1f93f5704 (plain)

*.exe
*.c
*.h
*.compcert
*.cc
*.cc2compcert
*.compcert2cc
*.light.c
*.s
!layout.c
!staticlayout.c