]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
Merge branch 'master' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 21 May 2025 16:42:53 +0000 (18:42 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 21 May 2025 16:42:53 +0000 (18:42 +0200)
* master:
  play.c: Kill pointless typedef.
  afs.h: Omit superfluous semicolons.
  Makefile: Drop redundant -Wuninitialized.

1  2 
play.c

diff --cc play.c
Simple merge