James Turner 16e8721e48 Expanded stars catalog from Chris		2019-03-03 11:46:47 +00:00
..
planets.gz	Initial revision	2000-10-22 21:05:31 +00:00
stars.gz	Expanded stars catalog from Chris	2019-03-03 11:46:47 +00:00