diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2021-04-06 13:55:50 +0200 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2021-04-06 16:31:07 +0200 |
| commit | 305f148f482daf30dcf728039d03d019f88344eb (patch) | |
| tree | ff16a91b9ebb1e884ba29f7732b812547ea81b9e /math/coq | |
| parent | framework: Remove $FreeBSD$ (diff) | |
Remove # $FreeBSD$ from Makefiles.
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index a0929c2d4f9f..5ecb0b5a2a64 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -1,4 +1,3 @@ -# $FreeBSD$ PORTNAME= coq PORTVERSION= 8.6 |