Alexander Bock 7dfa3374fc Update version number ...

Correctly layout tooltips in space/time widget
Fall back on old Digital Universe stars
Move settings of tooltip delay into each GuiComponent

2017-12-11 11:22:22 -05:00

..

denver

Rename GuiGrouping to GuiPath

2017-10-13 13:08:59 -04:00

digitaluniverse

Update version number

2017-12-11 11:22:22 -05:00