diff options
| author | Pierre-Marie Pédrot | 2018-10-10 13:25:29 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-10 13:25:29 +0200 |
| commit | 83fdf1ef30d4ec9b4e79cb313f0cbf009d0f238a (patch) | |
| tree | bba38906d2839e8130cfa3e0d335714ad02af13d /plugins/cc | |
| parent | b4fd032e0a05533bab701125c4abcbf392c799c7 (diff) | |
| parent | b977afefc8038f556e04930bcbceb4422b7d1062 (diff) | |
Merge PR #6218: Fix #5197, handling of algebraic universes
Diffstat (limited to 'plugins/cc')
0 files changed, 0 insertions, 0 deletions