From: Dirk Koopman Date: Wed, 20 May 2020 15:27:11 +0000 (+0100) Subject: add gitbranch to pc18 X-Git-Url: http://dxcluster.net/gitweb/gitweb.cgi?a=commitdiff_plain;h=35011f443646fc28d9f99b6c6431a33f2be29715;hp=35011f443646fc28d9f99b6c6431a33f2be29715;p=spider.git add gitbranch to pc18 ---