From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 13 Nov 2019 13:48:34 +0000 (+0000)
Subject: check right thing in config_targets
X-Git-Tag: subdirmk/0.1~80
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?p=subdirmk.git;a=commitdiff_plain;h=c67dc7a0d79b065d135498cb06429c00bd90ad74;hp=c67dc7a0d79b065d135498cb06429c00bd90ad74

check right thing in config_targets
---