diff options
| author | jvoisin | 2019-02-23 20:21:11 +0100 |
|---|---|---|
| committer | jvoisin | 2019-02-23 20:21:11 +0100 |
| commit | c757a9b7ef3122ea19105ca47a323e81469da594 (patch) | |
| tree | 9758eca12d22015c808a64bbaa7b5000820d3741 /doc | |
| parent | dda30c48b7a6f04ed7d508816ce72a1c75badbb2 (diff) | |
Fix a bug in css cleaning
It's not mandatory to actually have a comment inside
comment delimiter, like `/**/`.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions