1. panos mavrogiorgos
  2. externalize tikz
  3. Issues
Issue #1 new

Use md5sums instead of timestamps

panos mavrogiorgos
repo owner created an issue

Using the md5sums instead of the timestamps In the pickled dictionary avoids unnecessary compilations when the files are moved around in the folder structure.

Comments (0)

  1. Log in to comment