100644 blob 0742fb297a1f1a92d5c5aa67a2156fcd5f7615dc	fast_merge.pl
100644 blob 9d16914371c11b3c5eebefa53c342eaf3f6b6654	keyidGen.pl
100755 blob 700239d5eff0c02fff1f5bc8454992b85cc22a62	localize.pl
100755 blob 7804c443b2f015c363850d11cdcf3a8f8fb3081c	localize_old.pl
100644 blob 612fd0bf60e8d5dc047f024894730e4746cb3159	makefile.mk
040000 tree e262d09bd2e77e5043e6763e5fdb11226ae03b33	tool
100755 blob 85cc5734e7017e018dee67f4f36002926fd510e4	xhtex
100755 blob f6966cb30738e2480c377bff1f81a0418f1df53d	xtxex