texdoc
texdoc copied to clipboard

Published 20 hours ago •

Reduce cache file size

Open wtsnjp opened this issue 2 years ago • 1 comments

The current format of the cache file is entirely redundant. We can make them smaller.

Mar 20 '23 05:03 wtsnjp