diff options
| author | David Runge <dave@sleepmap.de> | 2019-08-07 00:30:30 +0200 |
|---|---|---|
| committer | David Runge <dave@sleepmap.de> | 2019-08-07 00:30:30 +0200 |
| commit | f35717cad68218bd7a91f213be17ee56a13f8ded (patch) | |
| tree | ea1240f2b6564a3b10da485b551fab21eb213d7e /.config/gtk-3.0/settings.ini | |
| parent | 661c52862ca96b2787193929ee7c3a1d4d897cf9 (diff) | |
| download | dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.tar.gz dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.tar.bz2 dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.tar.xz dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.zip | |
bin/tex2pdf: Adding the rendering of .diag files using seqdiag.
Diffstat (limited to '.config/gtk-3.0/settings.ini')
0 files changed, 0 insertions, 0 deletions