diff options
| author | Maxime Dénès | 2018-12-22 00:43:21 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-22 11:17:59 +0100 |
| commit | 2986683c5e6379d07574d0cb2ba2a609085aa8e3 (patch) | |
| tree | 5a76e7a9410dad901685e26c80726e3866804764 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | fc2bc9f806ad7627ca2288ae9dfd27512462a5fa (diff) | |
Turn `Refine Instance Mode` off by default
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions