diff options
author | hendriktews <hendrik@askra.de> | 2016-12-15 10:25:33 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-15 10:25:33 +0100 |
commit | de841653b6a5baa3cf0f5ab290531afce384ea02 (patch) | |
tree | e3daa091475d3011542c64fd5fcd3740d8487043 /doc | |
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 'doc')
0 files changed, 0 insertions, 0 deletions