chiark / gitweb /
check right thing in config_targets
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Nov 2019 13:48:34 +0000 (13:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Nov 2019 13:48:34 +0000 (13:48 +0000)
commitc67dc7a0d79b065d135498cb06429c00bd90ad74
treebdb855ffd6f9648bca99171e6ec82f7bb1e0a2a5
parent9afe863051fe0ae9d2d4e88db5fd95071fb9e7c4
check right thing in config_targets
subdirmk/subdirmk.ac