diff options
| author | Matthieu Sozeau | 2017-04-13 20:41:40 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2017-04-13 20:47:06 +0200 |
| commit | 58e804f07172acc6bb01c8bdafde1217eb4ec4b8 (patch) | |
| tree | cf6057cb340cf71867f04b19b0f7733596949b1c /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 582fab072375924ce380148c8a92dbc2b4ec30cc (diff) | |
Reinstate fixpoint refolding in [cbn], deactivated by mistake.
Add a test-suite file to be sure we won't regress silently.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions