100644 blob 1f3240f8309f76258380a1d2b6f52e9323154687	fast_merge.pl
100644 blob 63dc396ac54084571523b490364ed81ae4bd7b95	keyidGen.pl
100755 blob 43d77ae9fcf5f0897d43046c1c5fddb8999d0503	localize.pl
100755 blob 056a945056bbd09ce275f96b3a9ad1e19034c517	localize_old.pl
100644 blob d50ebd3cea3b3dce0caa1d1fa5b74888268acae8	makefile.mk
040000 tree 6d5dc0dbd6d4c7632fad5fef481cef2d2f6c482b	tool
100755 blob 85cc5734e7017e018dee67f4f36002926fd510e4	xhtex
100755 blob f6966cb30738e2480c377bff1f81a0418f1df53d	xtxex