diff options
| author | Maxime Dénès | 2020-02-28 20:19:00 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-03-01 20:33:28 +0100 |
| commit | 7ebcbc1cecca87619aa4b01606021c29c5d1f0a2 (patch) | |
| tree | 082951992155940f3f6919568f5541e954aabfb8 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 38e57715c086183250dd6176f9eaad01bfcde4c5 (diff) | |
[parser] lk_int -> lk_nat
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions