Global Config Handler #271

Merged
muellerr merged 36 commits from petri_dev into develop 2022-10-10 10:14:22 +02:00
384 changed files with 21084 additions and 6582 deletions
Showing only changes of commit 2eac346e41 - Show all commits

3
.gitmodules vendored
View File

@ -19,3 +19,6 @@
[submodule "thirdparty/rapidcsv"]
path = thirdparty/rapidcsv
url = https://github.com/d99kris/rapidcsv.git
[submodule "thirdparty/arcsec_star_tracker"]
path = thirdparty/arcsec_star_tracker
url = https://egit.irs.uni-stuttgart.de/eive/arcsec_star_tracker.git