diff options
author | 2016-12-15 10:25:33 +0100 | |
---|---|---|
committer | 2016-12-15 10:25:33 +0100 | |
commit | de841653b6a5baa3cf0f5ab290531afce384ea02 (patch) | |
tree | e3daa091475d3011542c64fd5fcd3740d8487043 /generic | |
parent | 93a0d1ca16fd30e89e312932008106bc5503386f (diff) | |
parent | ac69cdf056f0ee424c076d09f3848a0574f3ce83 (diff) |
Merge pull request #101 from tchajed/print-universes-option
Add Set Printing Universes to options menu
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions