diff options
| author | Erik Martin-Dorel | 2020-01-28 02:51:24 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-01-28 22:47:23 +0100 |
| commit | 8d03696658e409df1349585d59dabe13dbf52ed2 (patch) | |
| tree | fcb0348cffb20257ded3fbaf30d0d4a27151e34c /Makefile.dev | |
| parent | 654326961d151dfff62a58aef8f16a00ed39b6b8 (diff) | |
docs: Update release-process.md about opam/docker packaging
* Add hyperlinks
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions