diff options
| author | Pierre-Marie Pédrot | 2019-05-28 15:34:07 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-28 15:34:07 +0200 |
| commit | 0683ccc035853c776d522c2bd716b18b9f39bd2a (patch) | |
| tree | 3611f5571cea9ae0cbc49804d15e8b1fd21e1de2 /dev | |
| parent | 90ab5eab23dfbd04b8fc6181debc133e436f5211 (diff) | |
Same universe constraint fix for the checker.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions