Changes

#13 (Feb 20, 2026, 1:47:41 AM)

1. Simplification — Gunther Huebler / githubweb
2. Simplification — Gunther Huebler / githubweb

#12 (Feb 19, 2026, 8:01:38 PM)

1. Reverting old scripts to leave untouched — Gunther Huebler / githubweb
2. More reversions — Gunther Huebler / githubweb
3. More reversions — Gunther Huebler / githubweb
4. Simplifications — Gunther Huebler / githubweb
5. More reversions — Gunther Huebler / githubweb
6. Simplifications — Gunther Huebler / githubweb
7. Simplifications — Gunther Huebler / githubweb
8. Simplification — Gunther Huebler / githubweb
9. Simplification — Gunther Huebler / githubweb

#8 (Feb 13, 2026, 12:25:40 PM)

1. Test update — Gunther Huebler / githubweb
2. Fixing bug — Gunther Huebler / githubweb
3. Fixing bug — Gunther Huebler / githubweb
4. Fixing up comments — Gunther Huebler / githubweb
5. Small fixes — Gunther Huebler / githubweb
6. Jenkins script update — Gunther Huebler / githubweb
7. CMake update — Gunther Huebler / githubweb
8. Little fix for cmake — Gunther Huebler / githubweb
9. Jenkins script update — Gunther Huebler / githubweb
10. Jenkins script updateS — Gunther Huebler / githubweb
11. Cmake update — Gunther Huebler / githubweb

#7 (Feb 12, 2026, 8:31:24 PM)

1. Jenkins script update — Gunther Huebler / githubweb

#6 (Feb 12, 2026, 8:25:07 PM)

1. Bug fixes and script updates — Gunther Huebler / githubweb
2. Jenkins script update — Gunther Huebler / githubweb
3. Jenkins script update — Gunther Huebler / githubweb
4. Jenkins script update — Gunther Huebler / githubweb
5. Jenkins script update — Gunther Huebler / githubweb
6. Jenkins script update — Gunther Huebler / githubweb
7. Jenkins script update — Gunther Huebler / githubweb
8. Script update — Gunther Huebler / githubweb
9. Script update — Gunther Huebler / githubweb
10. Script update — Gunther Huebler / githubweb
11. Script update — Gunther Huebler / githubweb
12. Script update — Gunther Huebler / githubweb
13. Script update — Gunther Huebler / githubweb
14. Script update — Gunther Huebler / githubweb
15. Test update — Gunther Huebler / githubweb

#4 (Nov 12, 2025, 2:39:24 AM)

1. Small fixes — Gunther Huebler / githubweb

#3 (Nov 12, 2025, 2:33:27 AM)

1. Small fixes — Gunther Huebler / githubweb