diff options
| author | Théo Zimmermann | 2020-03-27 14:13:24 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-27 14:13:24 +0100 |
| commit | 58fcfd89f48252fbeb1ec8628f1d241bc9606d43 (patch) | |
| tree | 7e0aa44a21f8a70ecabfe7699cc854b428fd0b52 /kernel | |
| parent | 5f5f9520ccf0f107d381e5874a3743f47e37c409 (diff) | |
Remove the part about coqdoc from the utilities chapter.
(It was moved out onto a separate page.)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions