diff options
| author | Pierre-Marie Pédrot | 2018-07-26 14:27:10 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-07-26 14:27:10 +0200 |
| commit | 85d5f45d7a5374646a31f8829965bbfed0a95070 (patch) | |
| tree | d2dfb36735ed6591bd19bd446e621b79612efb52 /plugins | |
| parent | 09c76adaff7adaada1c49479dfa9a4d0a4b416af (diff) | |
| parent | e32f18b2a98524611cf89a9c9d3f42b57ebf57eb (diff) | |
Merge PR #8100: Use just one object declaration for all global universe additions
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions