]> git.tue.mpg.de Git - dss.git/commit
Merge branch 'master' into next next
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 27 Apr 2024 23:26:57 +0000 (01:26 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 27 Apr 2024 23:26:57 +0000 (01:26 +0200)
commitffc8c4a28f52cfb0e617ec3c6f3958cd994e13b6
tree354c4a24bc220c0fa35d1db1ea2d68d20e18aa29
parent1b576a8fa111f2001350a18635583f020c3f07c4
parent73e0fd24ed41db7882948ee4d7ff63119cf5a67d
Merge branch 'master' into next

* master:
  Support local make files.