diff options
| author | Théo Zimmermann | 2020-03-27 14:19:48 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-27 14:19:48 +0100 |
| commit | 223ccc1dcf9a0fd0ba3b82f910b507926affe1a2 (patch) | |
| tree | 6c422d20e65e9e6483e447ba95c1c24e16c7907c /kernel | |
| parent | 58fcfd89f48252fbeb1ec8628f1d241bc9606d43 (diff) | |
| parent | 4da3fe8aafe2d5ceadb505ba16cfbb4482755c61 (diff) | |
Split coqdoc section out of utility chapter (octopus merge).
This octopus merge is meant to preserve the commit history / blame of
both parts.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions