diff options
| author | SimonBoulier | 2019-06-03 17:17:35 +0200 |
|---|---|---|
| committer | SimonBoulier | 2019-08-16 11:43:51 +0200 |
| commit | 24701948804ecdc7c2518773fd66308913441195 (patch) | |
| tree | 3798eba8aa44c78ef22004b3eab8069fc2a317fe /plugins/syntax/string_notation.ml | |
| parent | de02e40124e4938fd4796303b8f5686e542fcb1a (diff) | |
Universe Checking instead of Universes Checking
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions