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

about summary refs log tree commit diff

path: root/.gitignore

blob: 2a1b7e26c5b2df58d2ceb2d54e0d25834a6779dc (plain)

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

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

# OS
.DS_Store
Thumbs.db