diff options
| author | Matthieu Sozeau | 2014-06-23 17:32:57 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-23 18:31:17 +0200 |
| commit | 54b1866084938d46e510146a46bad8a712da27b7 (patch) | |
| tree | f402a8b04de76c5916933e952a4468b37d1ba584 /dev | |
| parent | c92bb5b1da8223d61e0ac63a4ebd4a54f46d4670 (diff) | |
Changed syntax of explicit universes.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions