diff options
| author | Dmitri Goutnik <dmgk@FreeBSD.org> | 2019-12-10 23:00:10 +0000 |
|---|---|---|
| committer | Dmitri Goutnik <dmgk@FreeBSD.org> | 2019-12-10 23:00:10 +0000 |
| commit | 412c74e72e36fbe61aa4bd0117a385bdf8deb1b1 (patch) | |
| tree | 08dab4ad3c2548aa7fb1b5bad4583210a621c043 /ports-mgmt/Makefile | |
| parent | 9fc450d18a4f76c2aa478760ce4c7663ced875c0 (diff) | |
| download | ports-412c74e72e36fbe61aa4bd0117a385bdf8deb1b1.tar.gz ports-412c74e72e36fbe61aa4bd0117a385bdf8deb1b1.zip | |
New port: ports-mgmt/portgrep
portgrep is a fast parallel ports tree search utility, supporting both
predefined queries (by MAINTAINER, USES, etc.) and custom regex searches.
WWW: https://github.com/dmgk/portgrep
Notes
Notes:
svn path=/head/; revision=519782
Diffstat (limited to 'ports-mgmt/Makefile')
| -rw-r--r-- | ports-mgmt/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports-mgmt/Makefile b/ports-mgmt/Makefile index 195e10c300da..454fd3a2bc2f 100644 --- a/ports-mgmt/Makefile +++ b/ports-mgmt/Makefile @@ -48,6 +48,7 @@ SUBDIR += portfind SUBDIR += portfmt SUBDIR += portgraph + SUBDIR += portgrep SUBDIR += portless SUBDIR += portlint SUBDIR += portmaster |