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 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 51ecccef0308eceec1ddd9776a03fd993b3ea71a (diff) | |
Repair coqide option "Display parentheses"
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions