diff options
Diffstat (limited to 'devel/frama-c/Makefile')
-rw-r--r-- | devel/frama-c/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index 7ee7c59fde9f..80cedbdabab4 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -1,5 +1,4 @@ # Created by: b.f. <bf@FreeBSD.org> -# $FreeBSD$ PORTNAME= frama-c DISTVERSIONPREFIX= Phosphorus- |