chiark / gitweb /
In messages, use $prhome, not $dot
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:40:16 +0000 (20:40 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:40:16 +0000 (20:40 +0000)
commit5f8e67c07d8df469852a2a7faaf382588990e7fc
tree97b4a346a0437de2df9e965b0079448556f3a9ed
parent0d8c83fa3dd434bf8392fd4fca9acdc8296f020f
In messages, use $prhome, not $dot
infra/makelinks