diff options
| author | Théo Zimmermann | 2018-11-20 19:35:22 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-21 04:14:30 +0100 |
| commit | e367f1113738b28c42de6c87b7c9f3d0fce3f5be (patch) | |
| tree | 92de707cffc57ed75c112c423961217803997e51 /kernel/indtypes.mli | |
| parent | 968be14b3788e112425eedf696f2e5e35d35ba17 (diff) | |
[sphinx] Progress towards closing #7602: remove most objects without a body.
Remove objects without body from most chapters.
The remaining problems are all in the SSReflect chapter.
Diffstat (limited to 'kernel/indtypes.mli')
0 files changed, 0 insertions, 0 deletions