diff options
author | detrito | 2017-04-11 11:23:45 +0200 |
---|---|---|
committer | detrito | 2017-04-11 11:23:45 +0200 |
commit | 2ac5becfca289046de46374237d252cb34ee24d3 (patch) | |
tree | 0de02229800c7d446d4e2c766583b2a63aed4a89 /therion_ini.patch | |
parent | 3063d56e79c8d83e5b2042506f1a7baa49843d62 (diff) | |
download | aur-2ac5becfca289046de46374237d252cb34ee24d3.tar.gz |
Therion 5.4.0
Diffstat (limited to 'therion_ini.patch')
-rw-r--r-- | therion_ini.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/therion_ini.patch b/therion_ini.patch new file mode 100644 index 000000000000..0f6c13fb64da --- /dev/null +++ b/therion_ini.patch @@ -0,0 +1,18 @@ +--- therion.ini_raw 2017-04-03 22:32:08.000000000 +0200 ++++ therion.ini 2017-04-11 09:46:37.830780039 +0200 +@@ -1,5 +1,6 @@ + ### Output character encodings ### + # encoding-default ASCII ++encoding-default UTF-8 + # encoding-sql ASCII + + ### Default regional settings ### +@@ -23,7 +24,7 @@ + ### Tex initialization ### + # tex-env off + # tex-fonts <encoding> <roman> <italic> <bold> <sansserif> <sansserifoblique> +-# tex-fonts raw cmr10 cmti10 cmbx10 cmss10 cmssi10 ++tex-fonts raw cmr10 cmti10 cmbx10 cmss10 cmssi10 + # tex-fonts xl2 csr10 csti10 csbx10 csss10 csssi10 + + ### PDF fonts initialization |