diff options
| author | Hugo Herbelin | 2020-01-18 11:51:48 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-01-21 00:20:49 +0100 |
| commit | 64ea715e48b14ec8a793453b76db332e032d5cb0 (patch) | |
| tree | 2e2337b2817e1829087b9235723d4e4e4a7b7b3b /vernac | |
| parent | 26bf92e978eca1f405b302a2e02b1cadc4723b76 (diff) | |
Reference manual: Typos/English in chapter universe polymorphism.
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions