diff options
author | ctrlaltca <ctrlaltca@gmail.com> | 2016-02-29 20:08:01 +0100 |
---|---|---|
committer | ctrlaltca <ctrlaltca@gmail.com> | 2016-02-29 20:08:01 +0100 |
commit | 4dc390ed78f360d11097041ef8fe0d0076939e22 (patch) | |
tree | a3c58d6a0735ccf4e667d30323e26576ecacb56e /docs/specs | |
parent | c2d6fde08ceb887e81f057bb66cb663c2cd5d811 (diff) | |
parent | f50140a951557b09709e942fe6b9f6dfff1c70c3 (diff) |
Merge pull request #572 from pradosoft/travis
Travis: run on trusty
Diffstat (limited to 'docs/specs')
0 files changed, 0 insertions, 0 deletions