diff options
| author | Gaëtan Gilbert | 2019-07-02 12:56:01 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-07-03 17:05:29 +0200 |
| commit | bb81ed23c288f21f095d80a28ed7bda7ecf1a603 (patch) | |
| tree | 420adf1a0b8d195378dca243ac96b74e477f2d91 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | d324c858be652659a5062332f00e7d20393a48be (diff) | |
Search: do not use libobject to find variables
In preparation for removing the VARIABLE object.
It seems this doesn't change the output tests.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions