diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-02-23 14:33:03 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-02-23 14:33:03 +0100 |
| commit | 20eebe638be483d11f984fc53ed4b594c350a86f (patch) | |
| tree | bc01e6beae9bc4a812d4c9d07b3678bb5491cbe0 /src/main | |
| parent | ad063d00ccbfc4a9c72c707d11b13a2da0912d28 (diff) | |
Revert "disable predexing on travis"
This reverts commit ad063d00ccbfc4a9c72c707d11b13a2da0912d28.
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions