From cf118ccf875508b9a1c570044c93cfcc82bd455c Mon Sep 17 00:00:00 2001 From: Mathieu Arnold Date: Wed, 7 Apr 2021 10:06:21 +0200 Subject: One more small cleanup, forgotten yesterday. Reported by: lwhsu --- math/eprover/Makefile | 1 - 1 file changed, 1 deletion(-) (limited to 'math/eprover/Makefile') diff --git a/math/eprover/Makefile b/math/eprover/Makefile index f76f9a2ae94b..f5428d71ce80 100644 --- a/math/eprover/Makefile +++ b/math/eprover/Makefile @@ -1,4 +1,3 @@ - PORTNAME= eprover DISTVERSIONPREFIX= E- DISTVERSION= 2.0 -- cgit v1.2.3