diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-02-22 19:08:45 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-03-05 13:19:18 +0100 |
| commit | eefa2cf42a9fe0f9b2fe608fa01002e9a65e7e3f (patch) | |
| tree | dff70a10b6f6309a5fb70491ee02252a4f0fc610 /.travis.yml | |
| parent | 8d2a0d56f01c907cc0a335fb19d78ee9b8c0c43d (diff) | |
configure: profiles (sets of flags)
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions