utils/genargs: delete unused tool
authorSergei Trofimovich <siarheit@google.com>
Sat, 17 Dec 2016 22:19:29 +0000 (22:19 +0000)
committerSergei Trofimovich <siarheit@google.com>
Sat, 17 Dec 2016 22:49:25 +0000 (22:49 +0000)
commit6c816c56c674221173e725b5718c8052dda0c8f4
treec7d4c2f6b59f96224d61fccce743412322be745e
parent87c3b1d4395c3d4fc7a5272717c48f3f525da959
utils/genargs: delete unused tool

The tool was added in 2003 but never used at least in ghc tree.

Signed-off-by: Sergei Trofimovich <siarheit@google.com>
utils/genargs/Makefile [deleted file]
utils/genargs/genargs.pl [deleted file]