diff options
Diffstat (limited to 'security/klee/Makefile')
| -rw-r--r-- | security/klee/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile index e1fbe2e2d913..b6d4bc471324 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -1,4 +1,3 @@ - PORTNAME= klee DISTVERSIONPREFIX= v DISTVERSION= 2.2 |