chiark / gitweb /
badcommit-fixup: Merge from a filtered view of my personal playground
[dgit.git] / infra / ssh-wrap
2017-01-06 Ian Jacksonbadcommit-fixup: Merge from a filtered view of my perso...
2015-06-28 Ian JacksonInfra: ssh-wrap: set umask
2015-06-26 Ian JacksonInfra: ssh-wrap: Use master dgit-live for dispatch
2015-06-26 Ian JacksonInfra: ssh-wrap: export PERLLIB
2015-06-20 Ian JacksonInfra: ssh-wrap: set PERLLIB and get name of script...
2014-11-08 Ian Jacksoninfra/ssh-wrap: New example script