diff options
| author | David Runge <dave@sleepmap.de> | 2017-06-26 16:11:15 +0200 |
|---|---|---|
| committer | David Runge <dave@sleepmap.de> | 2017-06-26 16:11:15 +0200 |
| commit | 4f03efd2150e262567227d82afc5cd9205c9b15f (patch) | |
| tree | 4219c2f6e7741a905dab42ad7c68f53bd6cad53b /.config/cs/pre_umount/media | |
| parent | bd16148e70be4b2a98928016a6d380ad48111c12 (diff) | |
| download | dotfiles-4f03efd2150e262567227d82afc5cd9205c9b15f.tar.gz dotfiles-4f03efd2150e262567227d82afc5cd9205c9b15f.tar.bz2 dotfiles-4f03efd2150e262567227d82afc5cd9205c9b15f.tar.xz dotfiles-4f03efd2150e262567227d82afc5cd9205c9b15f.zip | |
bin/tex2pdf: Adding -shell-escape to pdflatex execution for minted. Adding more temporary files to be deleted.
Diffstat (limited to '.config/cs/pre_umount/media')
0 files changed, 0 insertions, 0 deletions