diff options
| author | Jason Gross | 2017-02-23 01:59:36 -0500 |
|---|---|---|
| committer | Jason Gross | 2017-05-28 09:38:36 -0400 |
| commit | dcc77d0dd478b2758d41e35975d31b12e86f61ca (patch) | |
| tree | 16d0593979cf11e401e180a4f7bc9c27798073ec /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 4e12d9eb8945120c5cfdb36964fba54dde767b51 (diff) | |
Use extended notation for ex, ex2 types
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions