diff options
| author | Pierre Letouzey | 2018-03-09 15:23:17 +0100 |
|---|---|---|
| committer | Jason Gross | 2018-08-31 20:05:53 -0400 |
| commit | e539db48ab064dc0c10c5ebeb043372c840497c2 (patch) | |
| tree | c294556540baef7fa0ea1b268891d38ba419dd9a /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 35916e2a3a9ccae1ece8ce64ddf55faa50ac88b6 (diff) | |
Numeral Notation: minor text improvements suggested by J. Gross
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions