diff options
| author | Théo Zimmermann | 2019-02-08 11:35:04 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-08 11:35:04 +0100 |
| commit | bb967f18247fc79c7158a89a1fe160a558910460 (patch) | |
| tree | 5bcd2a7aaeaec721fa36e4ea6fb6082eb40ee0ee /lib/flags.mli | |
| parent | d1d32f552064b9907fc9815b7412b9a9cde4a0dd (diff) | |
| parent | a3cae583f5bd05479bc63c05e378a5befb633e52 (diff) | |
Merge PR #9513: Edit release-process.md to ease upcoming releases of Coq in Docker Hub
Reviewed-by: Zimmi48
Diffstat (limited to 'lib/flags.mli')
0 files changed, 0 insertions, 0 deletions