]> git.tuebingen.mpg.de Git - dss.git/commit
Merge branch 'master' into next next pu
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 29 Jan 2024 17:27:01 +0000 (18:27 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 29 Jan 2024 17:27:01 +0000 (18:27 +0100)
commit1b576a8fa111f2001350a18635583f020c3f07c4
tree4b110e9c5ec0608b2dc2823bef0e334feb414718
parent9c50bddaf7c66176d58094414e21fd469756c156
parentcac14c7d96355a9ca02f69627f01ddebe699afcc
Merge branch 'master' into next

* master:
  Fix --config-file for relative paths.