Pullup ticket #2649 - requested by he
[pkgsrc.git] / lang / twelf /
2008-10-11 branch-fixupAdd files from parent branch HEAD:
2006-04-05 branch-fixupAdd files from parent branch HEAD:
2005-02-24 branch-fixupAdd files from parent branch HEAD:
2003-07-07 branch-fixupAdd files from parent branch HEAD:
2003-01-22 branch-fixupAdd files from parent branch HEAD: