diff options
| author | Andrey Andreev <narf@devilix.net> | 2014-12-03 18:50:47 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2014-12-03 18:50:47 +0100 |
| commit | d51d92af6761f30dd459c93fdb9f62d2d7b30a98 (patch) | |
| tree | 531cb8cbe8111c85c80e59a61a30a2bba0a9130c /user_guide_src/source | |
| parent | faa4890addbaa90254ef160813a08f727d069415 (diff) | |
| parent | d6e15feff419c59e9aab9aa4e043c324bb9177c7 (diff) | |
Merge pull request #3372 from joshk/patch-1
Use the new build env on Travis
Diffstat (limited to 'user_guide_src/source')
0 files changed, 0 insertions, 0 deletions