diff options
| author | Jean-Christophe Léchenet | 2020-08-06 11:22:51 +0200 |
|---|---|---|
| committer | Jean-Christophe Léchenet | 2020-08-06 11:22:51 +0200 |
| commit | 12acf8322a5ec81d8adcf87c2a903b17b7841ae4 (patch) | |
| tree | abfba53748f9f8b469bb85e4d04e2dbe85a2a93e /kernel/nativecode.mli | |
| parent | 51ecccef0308eceec1ddd9776a03fd993b3ea71a (diff) | |
Repair coqide option "Display parentheses"
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions