diff options
| author | Erik Martin-Dorel | 2019-02-07 23:26:36 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-02-08 00:04:50 +0100 |
| commit | a3cae583f5bd05479bc63c05e378a5befb633e52 (patch) | |
| tree | dc41f3c4b9dd15afe9e3b0669d7c4b3437fb68d9 /lib/flags.mli | |
| parent | a2365c54ea7cdaa8a20f43c9f46d7bfef6e1180a (diff) | |
Add item in release-process.md to ease upcoming releases of Coq in Docker Hub
Related: coq/bignums#17
[ci skip]
Diffstat (limited to 'lib/flags.mli')
0 files changed, 0 insertions, 0 deletions