diff bin/wbin @ 164:00b14a35280e

work-path bin dir
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 18 Jul 2022 18:30:56 +0100
parents
children
line wrap: on
line diff
--- /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