chiark / gitweb /
Use $ours rather than $dot in $dots loop
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:44:34 +0000 (20:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 20:44:34 +0000 (20:44 +0000)
commit3a92cd02ee19db8d983213818553e05d6e037e67
treeef12ed346a78f03cbef5a1ff480db013757f3305
parente466653b0879184e26ae58051e0aa9c158efdcf6
Use $ours rather than $dot in $dots loop
infra/makelinks