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/libraries | |
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/libraries')
0 files changed, 0 insertions, 0 deletions