Added script to generate a cache of polygen info
authorEnrico Zini <enrico@enricozini.org>
Thu, 13 Aug 2009 13:32:15 +0000 (14:32 +0100)
committerEnrico Zini <enrico@enricozini.org>
Thu, 13 Aug 2009 13:32:15 +0000 (14:32 +0100)
commit78e6132cd35be063de3e17939c579f6b5f6c9320
treed2ebeae8731e1d0bb0e5509092ee07ce3cbd08f9
parent7fae95cfeacf6ded63e89744529813504bfeecab
Added script to generate a cache of polygen info
src/Makefile.am
src/update-polygen-info [new file with mode: 0755]