.gitignore « bin - opentheory-transform - Opentheory proof trace optimizer

summary refs log tree commit diff

path: root/bin/.gitignore

blob: ce82cfb889787c075dd809ecb9626c0338d47963 (plain)


# directory for binaries; no files will be tracked here

*
!.gitignore