diff options
| author | Robin Watts <robin.watts@artifex.com> | 2014-02-10 13:29:18 +0000 |
|---|---|---|
| committer | Robin Watts <robin.watts@artifex.com> | 2014-02-10 15:04:50 +0000 |
| commit | 08fecfe3c0d29764eb79960dea912c78b4c797dd (patch) | |
| tree | 5f8b72e6605c1617ba81db8ea6728515c881ad6b /source/tools | |
| parent | ee420dddc55381976d5fceab32a4e361877818e5 (diff) | |
| download | mupdf-08fecfe3c0d29764eb79960dea912c78b4c797dd.tar.xz | |
Add pdf_is_number.
Useful utility missing from our arsenal.
Diffstat (limited to 'source/tools')
0 files changed, 0 insertions, 0 deletions