Directory

../
TDEV - Manual.pdf 1225594
TDEV - Manual_chocr.html.gz 36380
TDEV - Manual_djvu.txt 2607
TDEV - Manual_djvu.xml 37403
TDEV - Manual_hocr.html 74717
TDEV - Manual_hocr_pageindex.json.gz 58
TDEV - Manual_hocr_searchtext.txt.gz 1245
TDEV - Manual_jp2.zip 907602
TDEV - Manual_page_numbers.json 311
TDEV - Manual_scandata.xml 867
TDEV - Manual_text.pdf 359963
__ia_thumb.jpg 13914
tdev-users-manual_files.xml 6591
tdev-users-manual_meta.sqlite 20480
tdev-users-manual_meta.xml 2252