John Benediktsson 0be0c69ea5 pdf: heuristic for dealing with table wrapping.		2020-03-03 11:31:00 -08:00
..
canvas	…
layout	pdf: heuristic for dealing with table wrapping.	2020-03-03 11:31:00 -08:00
streams	pdf: heuristic for dealing with table wrapping.	2020-03-03 11:31:00 -08:00
text	…
units	…
values	pdf.values: fix names for some fonts.	2020-03-03 11:09:11 -08:00
wrap	…
authors.txt	…
pdf-docs.factor	…
pdf.factor	…
summary.txt	…
tags.txt	…