.gitignore

# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.so

# 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

# LaTeX Files #
###############
*.out
*.aux
*.toc
*.blg
*.bbl
*.pdfsync
*.nav
*.vrb
*.snm

# OS generated files #
######################
.DS_Store*
ehthumbs.db
Icon?
Thumbs.db

# maven target directories #
############################
target/

# Eclipse stuff #
#################
.classpath
.settings/
.project

# VDM-related generated files #
###############################
*.vdmppcov
*.covtbl
generated
.crc
.status
/tools/packworkspace/examples/
/tools/packworkspace/Reports/
/tools/packworkspace/Web/
/tools/packworkspace/rss.xml