astrotools merge requestshttps://git.rwth-aachen.de/astro/astrotools/-/merge_requests2019-06-12T11:48:08+02:00https://git.rwth-aachen.de/astro/astrotools/-/merge_requests/5Revert "Change version number to 1.4.2"2019-06-12T11:48:08+02:00Marcus WirtzRevert "Change version number to 1.4.2"This reverts commit 1dc6c6fb5b6e67b19ba1e9b64296f5c4d6db2136This reverts commit 1dc6c6fb5b6e67b19ba1e9b64296f5c4d6db2136https://git.rwth-aachen.de/astro/astrotools/-/merge_requests/1Revert "Play around with the coverage status" to enable proper coverage status2018-04-04T12:37:41+02:00Martin UrbanRevert "Play around with the coverage status" to enable proper coverage status