summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authoriphydf <iphydf@users.noreply.github.com>2016-08-09 13:46:41 +0100
committeriphydf <iphydf@users.noreply.github.com>2016-08-12 01:00:00 +0100
commit459f8f201393ac458445aebbd14c45bf4d6f5912 (patch)
tree67c7eb3c6338f701cdbd3fae808b45fa126fcd74 /.gitignore
parent8339e3449f41f5d6edd16a8657f7faa84040fdc3 (diff)
Check code formatting on Travis.
We run astyle on Travis and check if there is a diff. The build terminates if git finds a difference.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions