diff options
| author | Pierre Letouzey | 2017-05-23 16:33:14 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-06-12 15:15:45 +0200 |
| commit | 83a3abfa7de680f1a3279710e8f84721c32b7668 (patch) | |
| tree | 843fd161e43ec7ba143413131f6b6057bd8acdba /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 79c42e22dd5106dcb85229ceec75331029ab5486 (diff) | |
zify: confusion between Pos2Z.inj_sub and Pos2Z.inj_sub_max (fix #5336)
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions