GPS Time Handling #203

Merged

meierj merged 7 commits from mueller/gps-time-update into develop

2022-04-08 13:33:13 +02:00

Author	SHA1	Message	Date
Robin Mueller	c83efd149e	small tweak All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details EIVE/eive-obsw/pipeline/head This commit looks good Details	2022-04-08 11:41:17 +02:00
Robin Mueller	6ae9e539a6	more useful printout Some checks failed EIVE/eive-obsw/pipeline/pr-develop There was a failure building this commit Details	2022-04-08 11:40:35 +02:00
Robin Mueller	351920aa7b	some tweaks All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-04-08 11:31:29 +02:00
Robin Mueller	4a6840f098	bugfixes and improvements All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details - Tests finished	2022-04-08 11:22:16 +02:00
Robin Mueller	45007d726d	update translation files Some checks are pending EIVE/eive-obsw/pipeline/head Build started... Details EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2022-04-07 17:28:58 +02:00
Robin Mueller	5801c17509	Merge remote-tracking branch 'origin/develop' into mueller/gps-time-update All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details	2022-04-07 17:24:05 +02:00
Robin Mueller	796b814b49	Add time file handling	2022-04-07 17:23:50 +02:00