diff options
| author | Vincent Laporte | 2019-10-07 09:33:38 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-07 12:16:22 +0000 |
| commit | 96898039d5ef090c25b6f8dd740e652212c7806a (patch) | |
| tree | e986b5423ab23fb0259334b4d2faaa7076a1db4e /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | e01c9132fc505a3c443bee27d88dcd16a566616f (diff) | |
Release process: release notes
Explain into the release process how to prepare the release notes.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions