diff options
| author | Théo Zimmermann | 2020-03-27 14:11:20 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-27 14:18:52 +0100 |
| commit | 4da3fe8aafe2d5ceadb505ba16cfbb4482755c61 (patch) | |
| tree | a4017a3e1427c5c0f0b19a40b80927a1f37dd239 /kernel | |
| parent | 455445d05c5ae962af61a7a69fc4a9907fb37c06 (diff) | |
Move section on coqdoc to new location.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions