diff options
| author | Vincent Laporte | 2019-02-21 12:36:43 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-21 12:40:03 +0000 |
| commit | e3b64e8f5124c729ff3ba305dc20c7f38011900e (patch) | |
| tree | 1b614ff2fe92eb26be539bcbcb973675dca8bf9e /pretyping/typeclasses.ml | |
| parent | 87b4657566d5d4f0ea3d40dae7ba470d957ffe76 (diff) | |
Stdlib HTML documentation: fix a few absolute URLs
Diffstat (limited to 'pretyping/typeclasses.ml')
0 files changed, 0 insertions, 0 deletions