diff options
author | 2017-05-17 09:35:06 +0200 | |
---|---|---|
committer | 2017-05-17 09:35:06 +0200 | |
commit | 4b53985c2888827fe030294f95b5975d5e34e4c7 (patch) | |
tree | fc01eb8a20ebe09abe73a2707d53f0393b8f8ceb /doc | |
parent | 772de8aba675731ed8d476ea0bc628ee21751dc8 (diff) | |
parent | d8d56dfadc571fdf23ff9f8cb97d4c8cd96691ee (diff) |
Merge PR#614: Improve Travis
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions