chiark / gitweb /
use plag-mangler not plag-mangle
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 9 Mar 2019 21:45:20 +0000 (21:45 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 9 Mar 2019 21:45:20 +0000 (21:45 +0000)
commit54c00d6f0dbc61c34836fd227a935a50f6508799
tree223a61a4f1619cc5da62bedaad7dff116a8ddf74
parent3509c589bcc7bf6a7613ae40f00bc4dc97d2d7b2
use plag-mangler not plag-mangle
Makefile
find-plag
generate-plag