Check if we are in the git repo (or perhaps in a tarball)#318
Merged
sharkwouter merged 1 commit intopspdev:masterfrom Jul 6, 2025
davidgfnet:master
Merged
Check if we are in the git repo (or perhaps in a tarball)#318sharkwouter merged 1 commit intopspdev:masterfrom davidgfnet:master
sharkwouter merged 1 commit intopspdev:masterfrom
davidgfnet:master
