.gitignore - ratp - A saturation-based automated theorem prover for first-order logic.

about summary refs log tree commit diff

path: root/.gitignore

blob: 7242ee6c7b5c088679342073aefd51fabaefe7eb (plain)

# Build
build/
cmake-build-*/
compile_commands.json

# IDE
.vscode/
.idea/
*.swp
*~

# OS
.DS_Store
Thumbs.db