Alexander Bock 88cab58f09 Add the ability to toggle planets in the customization/globebrowsing.asset (closes #1392) ...

Improve the handling of reading info files that have error messages

2020-11-18 21:43:14 +01:00

..

globebrowsing.asset

Add the ability to toggle planets in the customization/globebrowsing.asset (closes #1392)

2020-11-18 21:43:14 +01:00

gui.asset

Feature/gui for touch (#967)

2019-09-18 23:49:51 +02:00

localbookmarks.csv

update local and fix openspace

2020-01-26 12:24:43 -05:00