mirror of
https://github.com/OpenSpace/OpenSpace.git
synced 2026-05-03 09:20:26 -05:00
69a074e9a5
GUI change: 03d8bdb206d2d82a83b56d9409bd5fd41c97a3bc. Verified with "started before" setting