chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerJonathan David Amery
last changeFri, 18 May 2018 17:01:20 +0000 (18:01 +0100)
shortlog
2018-05-18 Jonathan David... * We need to add the local network rule as well. master
2018-05-18 Jonathan David... First version of hideous shell script.
2018-05-18 Jonathan David... empty file!
2018-05-18 Jonathan AmeryInitial
heads
6 months ago master