diff options
Diffstat (limited to 'devel/ikos/Makefile')
-rw-r--r-- | devel/ikos/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index 85ca4dcf3169..f8b9577ed45e 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -1,4 +1,3 @@ -# $FreeBSD$ PORTNAME= ikos DISTVERSIONPREFIX= v |