diff options
| author | Gaëtan Gilbert | 2018-10-11 17:04:31 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-02 13:26:16 +0100 |
| commit | f041d16b65d05074e1fea90a654aa3e7f000b6dc (patch) | |
| tree | d6cac53d6755f8d3d438306de0bbde27198925ef /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 0fa0ad02cb17a19edcd81efc8e41ccdd4f37ffaf (diff) | |
rewrite: attributes handle is_univ_poly, is_program_mode
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions