summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2015-12-20 17:14:48 +0100
committerJakob Unterwurzacher2015-12-20 17:15:29 +0100
commit65d1f888c8e6ce50e94518e732cec3c47f3fefed (patch)
tree9653855f6e295bd737d8e01a50b47bec160a2924 /Documentation/.gitignore
parentc70382352186ebf8fda9555a067f1d57387610e8 (diff)
travis: also build using build.bash
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions