chiark / gitweb /
ship plumbing doc when we dist
authorrjk@greenend.org.uk <>
Sat, 29 Sep 2007 17:24:29 +0000 (18:24 +0100)
committerrjk@greenend.org.uk <>
Sat, 29 Sep 2007 17:24:29 +0000 (18:24 +0100)
commit133a4a19e2797134d5ba9a1129794fcaf19768a6
treea3967cd222218758df760cf66b4512a9a4533308
parentee5a0840411b43f1b96c44305f46c684a4e5de1c
ship plumbing doc when we dist
scripts/dist