diff bin/check-ports @ 55:97db540472bd

Doc: enhanced comment
author Franz Glasner <fzglas.hg@dom66.de>
date Sun, 10 Mar 2019 20:45:03 +0100
parents 634113c53f56
children ad454e403e24
line wrap: on
line diff
--- a/bin/check-ports	Thu Nov 23 11:10:45 2017 +0100
+++ b/bin/check-ports	Sun Mar 10 20:45:03 2019 +0100
@@ -9,9 +9,9 @@
 VERSION=@@VERSION@@
 
 #
-# Local repository with
-# non-public packages and/or ports with changed OPTIONS (i.e. not using the
-# defaults)
+# Local repository with non-public packages and/or ports with changed
+# OPTIONS (i.e. not using the defaults) or forks of official packages with
+# other package names
 #
 : ${LOCAL_REPO:=LocalRepo}
 #