summaryrefslogtreecommitdiff
path: root/lang/twelf
diff options
context:
space:
mode:
authorjtb <jtb@pkgsrc.org>2003-07-07 22:07:44 +0000
committerjtb <jtb@pkgsrc.org>2003-07-07 22:07:44 +0000
commit45df8a85197223ee5e3d83a04f847b472b20eff1 (patch)
tree644b15604fefef012ca79c5a118c19258f52ae16 /lang/twelf
parentec9025d8b1d8565eda0a33f3ce9410897a1b7315 (diff)
downloadpkgsrc-45df8a85197223ee5e3d83a04f847b472b20eff1.tar.gz
Allow this to work with latest pari.
Diffstat (limited to 'lang/twelf')
0 files changed, 0 insertions, 0 deletions