# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1658165456 -3600
# Node ID 00b14a35280e4e4ffaa0b7c95c87cb2555fe66c8
# Parent  ef961d91eea584e160deffdcca8cd95f8e5b6976
work-path bin dir

diff -r ef961d91eea5 -r 00b14a35280e bin/wbin
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/wbin	Mon Jul 18 18:30:56 2022 +0100
@@ -0,0 +1,1 @@
+/work/dc007/dc007/hst/bin
\ No newline at end of file