diff options
| author | Théo Zimmermann | 2017-11-02 16:00:15 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-18 14:37:21 +0200 |
| commit | ce95dc07ad764b651ce98e76a4d4d8f53c2983ff (patch) | |
| tree | c07c3431f16e90b08c15a4ca0c189052386b6522 /kernel/vmvalues.ml | |
| parent | 5281317cb558f2b9aa6f854b9c7aeb617beba8e6 (diff) | |
Create a documentation for the release manager.
This process is expected to evolve in the future as we automate it more and more.
[ci skip]
Diffstat (limited to 'kernel/vmvalues.ml')
0 files changed, 0 insertions, 0 deletions