diff options
| author | Andrey Andreev <narf@devilix.net> | 2014-10-22 22:27:23 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2014-10-22 22:27:23 +0200 |
| commit | eef5fcd76301707d8f3cadc60615533af9fcdd20 (patch) | |
| tree | 5a2409296b11b131edae72158d022ac778fa0c8e /user_guide_src/source/libraries | |
| parent | 38269bb693e98b1239069335db7e5d39a1bba32b (diff) | |
[ci skip] Fix Travis build status badge
It broke with the repo transition.
Diffstat (limited to 'user_guide_src/source/libraries')
0 files changed, 0 insertions, 0 deletions