diff options
| author | Théo Zimmermann | 2017-05-20 14:06:06 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-05-20 14:06:15 +0200 |
| commit | c1bf3bc4956d0b8af879fcf4854cbd650e1821c0 (patch) | |
| tree | 2bcc2e84f427cf6d6419b56080ef6c4208b595ac /kernel | |
| parent | 9f11adda4bff194a3c6a66d573ce7001d4399886 (diff) | |
Change wrong bullet message.
Remove a space before colon.
Remove the use of term mandatory
(this closes https://coq.inria.fr/bugs/show_bug.cgi?id=3994).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions