3 commits

Author	SHA1	Message	Date
Moritz	35c3aa63e5	changed config dir name	2021-09-04 18:54:42 +02:00
Moritz	94566116d8	removed synctex command	2021-04-21 14:15:09 +02:00
Moritz Böhme	92daad6205	more transparent background	2021-04-11 17:38:46 +02:00