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

about summary refs log tree commit diff stats

path: root/test/.gitignore

blob: 09144e68451340e84ed34e27cd13aec1576093b0 (plain)

# CompCert-generated files
*.s
*.sdump
*.parsed.c
*.compcert.c
*.light.c
*.compcert
*.gcc