math/*.awk: These should have been killed when `mpgen' appeared.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 9 Aug 2013 09:12:16 +0000 (10:12 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 9 Aug 2013 09:12:16 +0000 (10:12 +0100)
commit5f4309094878ff686c716f62d917754f09b889df
treed0db770daff378c36a403748b3c3c03fb25c2538
parent63ef14a63b7513160478cd7da3c9388fe97a076e
math/*.awk: These should have been killed when `mpgen' appeared.
math/bin-gentab.awk [deleted file]
math/ec-gentab.awk [deleted file]
math/p-gentab.awk [deleted file]