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

about summary refs log tree commit diff stats

path: root/extraction/.gitignore

blob: 92df2ef4c40131efdb16a1343cdbd795e1a3970c (plain)

# Caml files generated by extraction
*.mli
*.ml
# Extraction timestamp
STAMP