diff options
| author | olgeni <olgeni@FreeBSD.org> | 2014-07-07 23:31:01 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2014-07-07 23:31:01 +0800 |
| commit | 9e96fd661934ee98b1870928e3aa29d425623286 (patch) | |
| tree | dcccdab9003ee92315e6f86a05d3e87efdb061b3 /math/proofgeneral | |
| parent | 300c7b860ea4a7249ca9a450fb1b5da50b93e2fd (diff) | |
| download | freebsd-ports-gnome-9e96fd661934ee98b1870928e3aa29d425623286.tar.gz freebsd-ports-gnome-9e96fd661934ee98b1870928e3aa29d425623286.tar.zst freebsd-ports-gnome-9e96fd661934ee98b1870928e3aa29d425623286.zip | |
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.
CR: D306
Approved by: portmgr (bapt)
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index fff4f1c614d8..c51e28fff696 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -11,7 +11,7 @@ DISTNAME= ProofGeneral-${PORTVERSION} EXTRACT_SUFX= .tgz MAINTAINER= beyert@cs.ucr.edu -COMMENT= A generic interface for proof assistants +COMMENT= Generic interface for proof assistants LICENSE= GPLv2 LICENSE_FILE= ${WRKSRC}/COPYING |