diff options
| author | thery | 2019-01-21 18:40:54 +0100 |
|---|---|---|
| committer | thery | 2019-01-21 18:40:54 +0100 |
| commit | 3dcf2f79d422f671aadf441c5318994c9cfea6be (patch) | |
| tree | 8ae0c631e1ada98a148555acc137b35811897649 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | b8da6225e3867408f5d1ad0c716618c4228a1ad2 (diff) | |
ring and field simplify can take no arguments
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions