.gitignore

# OK general gitignore

# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.so
*.pyc
build/
devel/
bin/
install/
*.user
lib/
ros_intalled/

# Packages #
############
# it's better to unpack these files and commit the raw source
# git has its own built in compression methods
*.7z
*.dmg
*.gz
*.iso
*.jar
*.rar
*.tar
*.zip

# Logs and databases #
######################
*.log
*.sql
*.sqlite

# OS generated files #
######################
.DS_Store
.DS_Store?
._*
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db

# TEX files #
######################
*~
*.syntex*
*.aux
*.log
*.nav
*.out
*.snm
*.toc
.*lock*
*.bib
*.bbl
*.run.xml
*.vrb
*.synctex.gz*
*.directory

!.gitignore