wok diff pulseaudio-man/receipt @ rev 23611

updated re2c (1.2.1 -> 1.3)
author Hans-G?nter Theisgen
date Tue Apr 14 06:45:07 2020 +0100 (2020-04-14)
parents 8497f0e1eea5
children
line diff
     1.1 --- a/pulseaudio-man/receipt	Fri Apr 03 13:36:20 2020 +0100
     1.2 +++ b/pulseaudio-man/receipt	Tue Apr 14 06:45:07 2020 +0100
     1.3 @@ -16,3 +16,4 @@
     1.4  {
     1.5  	cook_copy_folders	man
     1.6  }
     1.7 +