diff options
| author | Théo Zimmermann | 2018-05-22 16:34:24 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-22 16:34:24 +0200 |
| commit | 89bfc37b26d79f5e29c079fee912bb2bfaa9b07c (patch) | |
| tree | a4a08c630c88fb469e69054a59559123b48623c7 /kernel/inductive.ml | |
| parent | 6667ebe1fcbacb36e95be90ae946ca62692e5623 (diff) | |
Add myself as a secondary maintainer for the documentation.
To reflect reality.
[ci skip]
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions