# See http://help.github.com/ignore-files/ for more about ignoring files.
#
# If you find yourself ignoring temporary files generated by your text editor
# or operating system, you probably want to add a global ignore instead:
# git config --global core.excludesfile ~/.gitignore_global
# Ignore bundler config and project file (eclipse/aptana)
.bundle
.project
# Ignore actual database.yml (copy database.example.yml)
config/database.yml
# Ignore the default SQLite database
db/*.sqlite3*
# Ignore sql files (generated by migrations)
*.sql
# Ignore swap files (generated by vim editor)
*.swp
*~
# Ignore log files
/log
*.log
# Ignore temporary files
tmp/**/*
tmp/*
*.orig
# Ignore packaged assets and uploads
/public/assets
/data
# Ignore folder attribute files
.DS_Store
# Ignore temporary LaTeX files
*.aux
*.bbl
*.blg
*.log
*.nav
*.out
*.snm
*.toc
*~
# Ignore pdf generated by rails-erd
erd.pdf
# Ignore local configuration files
config/settings.local.yml
config/settings/*.local.yml
config/environments/*.local.yml
config/environments/*.local.rb
# Ignore sass cache
.sass-cache
# Ignore agignore (ignore file for ag (like grep or ack))
.agignore
# Ignore output of SimpleCov
/coverage
spec/fixtures/vcr/hets-out
# Ignore custom compiled binaries
data/git/.ssh/cp_keys
spec/fixtures/ontologies/xml
spec/fixtures/ontologies/hets-out/*
!spec/fixtures/ontologies/hets-out/.gitkeep
spec/fixtures/ontologies/hets-out/prove
!spec/fixtures/ontologies/hets-out/prove/.gitkeep
spec/fixtures/prover_output/generated