diff options
Diffstat (limited to 'math/cvc3/Makefile')
| -rw-r--r-- | math/cvc3/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 5581e7c38ddd..a473397e6132 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -1,5 +1,3 @@ -# Created by: Li-Wen Hsu <lwhsu@lwhsu.org> - PORTNAME= cvc3 PORTVERSION= 2.4.1 PORTREVISION= 7 |