.gitignore « abi « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/abi/.gitignore

blob: c115947ef19dd02557e8eb4398a91832c0e32cc6 (plain)

*.exe
*.c
*.h
*.compcert
*.cc2compcert
*.compcert2cc
*.light.c
*.s