diff options
| author | Jakob Unterwurzacher | 2015-12-20 17:14:48 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2015-12-20 17:15:29 +0100 |
| commit | 65d1f888c8e6ce50e94518e732cec3c47f3fefed (patch) | |
| tree | 9653855f6e295bd737d8e01a50b47bec160a2924 /Documentation/.gitignore | |
| parent | c70382352186ebf8fda9555a067f1d57387610e8 (diff) | |
travis: also build using build.bash
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions