]> git.tuebingen.mpg.de Git - paraslash.git/commit - web/about.in.html
Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 Aug 2022 15:16:32 +0000 (17:16 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 Aug 2022 15:16:32 +0000 (17:16 +0200)
commit26243a4b963bc3c59020b0469f1e469025da0ad8
treecc9f515807ae1308bb94d8d3288f6590e58348ef
parent55adba3f7fc5619bd433c13d07ecb62e7b4d46a8
parent4c1f0ea9b7b5174d86a99803c1563caf778a8ee2
Merge branch 'maint'

Two fixes for para_play.
interactive.c