diff options
| author | Matej Kosik | 2015-11-09 16:52:23 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:19 +0100 |
| commit | 5e48f1aafb45d1c883e32e13a8458979663b04fb (patch) | |
| tree | fe593e8ab9c9de25859051e01e654b564bed40a0 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 15311e51c20e6edc3b97f12d483dd15bfbc1164c (diff) | |
PROPOSITION: Added "if" and "then" words missing in the original sentence.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions