# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1552247103 -3600
# Node ID 97db540472bd23c1ca36fc3004b344a2a932964f
# Parent  2874f362fdbeee4bfb6c267fbe7285370b5c8cd1
Doc: enhanced comment

diff -r 2874f362fdbe -r 97db540472bd bin/check-ports
--- 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}
 #