diff options
| author | Maxime Dénès | 2018-12-07 13:58:12 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-16 18:45:35 +0200 |
| commit | 4c148ecfd85e6df2edf544d3ed9079c36ed1ba39 (patch) | |
| tree | 824a4ff8290d2d9bf5f584ca4a84dd29d4c9fcf2 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 414cfd64702be920c9d96514e3802bc950b5ea0b (diff) | |
Take advantage of relaxed {measure} syntax in test suite
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions