diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-14 15:51:00 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-14 16:01:36 +0200 |
commit | fb4d41ff88b7a339db2e40ea96738e0da50f65ee (patch) | |
tree | 1b4c79ea0f1ba05b619ba3460162de0e061487cd /theories/FSets/FSetAVL.v | |
parent | 413bb2cf6a2eafd06e9ae1da7dcec749ab6f227b (diff) |
Update CI README with info about gitlab windows and docker jobs.
Diffstat (limited to 'theories/FSets/FSetAVL.v')
0 files changed, 0 insertions, 0 deletions