chiark / gitweb /
i18n: i18n-diff-auditor: support die -> fail
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 1 Oct 2018 02:22:40 +0000 (03:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 1 Oct 2018 02:23:39 +0000 (03:23 +0100)
commit1b5fa179018c14bb6bc8cd9149dee0a4ea7085bc
treeb7972510f0c73e1c056cd6a99113fff16c9e45a6
parentd4d32495578240e0064ef1d3cd339fd1fcc5dbdb
i18n: i18n-diff-auditor: support die -> fail

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
i18n-diff-auditor