diff options
| author | Santo <sancn@live.com> | 2017-09-11 17:38:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-11 17:38:49 +0200 |
| commit | 0546f401f8b476a75114ceb28792a14a7db992d5 (patch) | |
| tree | 4d3dd1ecad700202e8846398f5b8d5c5069bd41e /planet.cc | |
| parent | 26c5b163994229424f2873f54fafac845759f371 (diff) | |
i do not use TravisCI
Diffstat (limited to 'planet.cc')
0 files changed, 0 insertions, 0 deletions