Patrick Favre-Bulle 10b23f7466 Add Hints for some Improved Travis Config in Doc (#7049) ... Merge pull request 7049		2018-06-05 13:27:02 -04:00
..
buddyworks.md	Fix a few minor issues in the docs (#6494)	2017-10-28 11:46:02 -04:00
circleci.md	Fix a few minor issues in the docs (#6494)	2017-10-28 11:46:02 -04:00
index.md	name unification (#6318)	2017-08-18 11:09:34 -04:00
travis-ci.md	Add Hints for some Improved Travis Config in Doc (#7049)	2018-06-05 13:27:02 -04:00