diff options
| author | Ralf Jung | 2017-02-14 12:36:15 +0100 |
|---|---|---|
| committer | Ralf Jung | 2017-02-16 16:47:12 +0100 |
| commit | 8ce49dd1b436a17c4ee29c2893133829daac75f0 (patch) | |
| tree | c5b53f5bf86ee07e53d43eec53099ba92ae19503 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 55cb913f029308e97bd262fc18d4338f404e7561 (diff) | |
reject notations that are both 'only printing' and 'only parsing'
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions