diff options
| author | Théo Zimmermann | 2021-01-21 14:16:52 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2021-01-21 14:16:52 +0100 |
| commit | 3a32f852a0b82c964fad00f57abcacbb90bbee7f (patch) | |
| tree | da1cab8e1e93e58ebebca040aceb0163f23732f1 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 2f79b58cdbdeb3ff3446168ede042e063a6f6c99 (diff) | |
Add missing item about PDF manual to release checklist.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions