diff options
| author | Théo Zimmermann | 2018-09-18 09:55:27 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-18 09:55:27 +0200 |
| commit | 15649c16bc4e20ef2c2b1b0ac645f83ee03c3589 (patch) | |
| tree | ea6cbdc24545b971ff8a3b374f234609e811de6a /Makefile | |
| parent | 11aa55dc20c7311229d55e17d7356cff8a4b4bbc (diff) | |
| parent | 69e852924a9419eeff5cf5875f649fd898d2ba07 (diff) | |
Merge PR #8486: Mising prime in the subtyping rules
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions