]> git.saurik.com Git - bison.git/commitdiff
maint: dead comment.
authorAkim Demaille <akim@lrde.epita.fr>
Tue, 17 Jul 2012 12:08:53 +0000 (14:08 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 17 Jul 2012 12:47:35 +0000 (14:47 +0200)
* etc/README: here.


No differences found