chiark / gitweb /
If $idistro set (ie, distro explicitly specified by user), do not look at anything...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 30 Oct 2014 00:16:15 +0000 (00:16 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Nov 2014 16:17:45 +0000 (16:17 +0000)

No differences found