Revision 520101

Jump to revision:
Author:	antoine
Date:	Sat Dec 14 08:48:58 2019 UTC (4 years, 6 months ago)
Changed paths:	2
Log Message:	Fix packaging PR: 233770

Changed paths

Path	Details
head/devel/ikos/Makefile	modified , text changed
head/devel/ikos/pkg-plist	modified , text changed