diff options
| author | Théo Zimmermann | 2018-02-13 16:49:46 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-02-21 22:34:09 +0100 |
| commit | 05ad387ae689e6b95d31d62205e25c736cf52864 (patch) | |
| tree | 10cecd1cbfd581fc21c861f701cdde03ea9d6352 /dev | |
| parent | 0c5f0afffd37582787f79267d9841259095b7edc (diff) | |
Remove from CircleCI builds that are already taken care of by Travis.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions