]> 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 11:30:52 +0000 (12:30 +0100)
commit222342aa6708814c01a63ff7d568209d3705ff47
treea3d87807a9ba4f51488105bbf67060ce827f52b2
parenta7497ca6b6b3a853e0f231fe948b3981355b9e20
maint: remove stray file.

* config.hin: Remove.
config.hin [deleted file]