diff options
| author | Fabian Kunze | 2020-11-27 10:20:40 +0100 |
|---|---|---|
| committer | Fabian Kunze | 2020-11-27 10:20:40 +0100 |
| commit | ce8569a3713536e510381e4d49d534a447cfe637 (patch) | |
| tree | cc56e57ccbbd1c3424ac95bb183466070db746fc /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 66429ecca2cc28875ec37b879806744bd3a63179 (diff) | |
Fix #13283: improved error on `clear implicit` flag
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions