diff options
| author | Pierre Letouzey | 2015-12-14 11:11:49 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2015-12-14 11:11:49 +0100 |
| commit | b1cfb65fbf7c11cb5b9acc8039bcf5e36882a685 (patch) | |
| tree | d7545035042e78501102933fd47fc95255c4a829 /doc/common/styles/html/coqremote/modules/node | |
| parent | a2a81cec811a8257e47ceb1b9ea3de6d1c2607ee (diff) | |
Extraction: cosmetically avoid generating spaces on empty lines
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node')
0 files changed, 0 insertions, 0 deletions