Rework pool_tok_seq and pool_print_seq.
tree675955ac5ba01dc78ec043b34f8815dc562c0f80
-rw-r--r-- 28 .gitignore
-rw-r--r-- 1596 LICENSE
-rw-r--r-- 199 Makefile
-rw-r--r-- 620 README.textile
-rw-r--r-- 74 TODO
-rw-r--r-- 1678 fast_export.c
-rw-r--r-- 466 fast_export.h
-rw-r--r-- 3074 line_buffer.c
-rw-r--r-- 251 line_buffer.h
-rw-r--r-- 3801 obj_pool.h
-rwxr-xr-x 2676 replay.pl
-rw-r--r-- 9641 repo_tree.c
-rw-r--r-- 765 repo_tree.h
-rw-r--r-- 2432 string_pool.c
-rw-r--r-- 404 string_pool.h
-rw-r--r-- 8228 svndump.c
-rw-r--r-- 1841 test.dump
-rw-r--r-- 7908 trp.h
-rwxr-xr-x 1304 validate.sh