diff options
| author | Gaëtan Gilbert | 2018-07-20 14:41:43 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-07-26 14:29:29 +0200 |
| commit | 3390457252c2cbcc8325858c66baeb0c155d6852 (patch) | |
| tree | d3e467eb422d9c9a5453e88df8b1e074c4e8067b /dev | |
| parent | 0c3c5af90101cfcb0fa228bfefa11376bf40e47e (diff) | |
Don't use an object for polymorphic section universes
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions