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=f0af07edebdfe705c66a50a4ccfa56d5663773d7;hp=f0af07edebdfe705c66a50a4ccfa56d5663773d7;p=spider.git add gitbranch to pc18 ---