]> git.tuebingen.mpg.de Git - gsu.git/commitdiff
projects / gsu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 241af60 7911321)
Merge topic branch t/gui into pu
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 15 Oct 2023 19:44:49 +0000 (21:44 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 15 Oct 2023 19:44:49 +0000 (21:44 +0200)
Started on 2023-08-22

* refs/heads/t/gui:
  gui: Remember menu position.


Trivial merge
gsu - the global subcommand utility