wok rev 20784

updated check-dev again (0.9.14 -> 0.12.0)
author: Hans-G?nter Theisgen
date: Thu Feb 14 15:06:31 2019 +0100 (2019-02-14)
parents: 67c680e33039
children: dc0a8add9e65
files: check-dev/receipt
     1.1 --- a/check-dev/receipt	Thu Feb 14 15:04:32 2019 +0100
     1.2 +++ b/check-dev/receipt	Thu Feb 14 15:06:31 2019 +0100
     1.3 @@ -22,4 +22,4 @@
     1.4  	cp -a $install/usr/lib/pkgconfig $fs/usr/lib
     1.5  	cp -a $install/usr/include $fs/usr
     1.6  	cp -a $install/usr/share/aclocal $fs/usr/share
     1.7 -}
     1.8 +}
     1.9 \ No newline at end of file