]> git.saurik.com Git - bison.git/commit
maint: remove stray file.
authorAkim Demaille <demaille@gostai.com>
Sun, 19 Feb 2012 11:28:42 +0000 (12:28 +0100)
committerAkim Demaille <demaille@gostai.com>
Sun, 19 Feb 2012 17:21:56 +0000 (18:21 +0100)
commit95f14eb228100c23f4abd566565b20c2b0499ae0
tree5cbac59c465f681b3453c2422bc2667984623c1e
parente0e2b93355c0f02cb0b2a669fd8863056e8ce90c
maint: remove stray file.

* config.hin: Remove.
(cherry picked from commit 222342aa6708814c01a63ff7d568209d3705ff47)
config.hin [deleted file]