diff options
| author | William Lawvere | 2017-07-07 19:26:19 -0700 |
|---|---|---|
| committer | William Lawvere | 2017-07-07 19:26:19 -0700 |
| commit | 2268a3e7e84735c072bd2d9d25e6cc16b2a29281 (patch) | |
| tree | eb1b8d0872a37d3a87604777ef15f2849f6519ec /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 307f08d2ad2aca5d48441394342af4615810d0c7 (diff) | |
RefMan-ext: fix some typos
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions