Günter Milde c5596da758 Fix export with Japanese (platex) and non-TeX fonts.
Revert a change in c83765163f that inserts a spurious "}".
2019-08-21 12:33:13 +02:00
..
2019-08-19 07:30:06 +02:00
2019-07-13 00:24:21 +02:00
2019-08-14 17:07:47 +02:00
2018-08-14 17:05:40 +02:00
2018-12-06 10:30:58 +01:00
2018-02-18 09:19:03 +01:00
2016-05-29 17:55:45 -04:00
2018-02-23 23:17:57 -05:00
2018-02-23 23:38:31 -05:00
2017-07-03 13:46:30 -04:00
2017-10-16 10:12:21 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2015-11-20 22:43:45 +01:00
2017-07-03 13:46:30 -04:00
2015-10-10 21:38:17 +02:00
2018-12-17 15:33:47 +01:00
2017-07-03 13:46:30 -04:00
2018-01-30 12:11:22 +01:00
2017-03-01 16:34:01 +01:00
2018-02-24 00:30:24 -05:00
2019-08-12 12:18:28 +02:00
2019-08-12 12:18:28 +02:00
2018-12-14 11:41:16 +01:00
2018-04-20 23:37:58 -04:00
2017-07-03 13:46:30 -04:00
2018-02-23 23:47:05 -05:00
2017-07-03 13:46:30 -04:00
2018-05-28 12:33:17 +02:00
2018-05-28 12:33:17 +02:00
2019-07-17 21:16:05 +02:00
2019-07-18 08:15:00 +02:00
2019-06-02 18:07:10 +02:00
2019-06-02 18:07:10 +02:00
2017-07-03 13:46:30 -04:00
2018-01-28 23:37:20 -05:00
2017-07-03 13:46:30 -04:00
2019-07-30 15:21:56 +02:00
2019-07-22 08:05:28 +02:00
2019-07-20 23:39:40 +02:00
2019-05-14 16:39:35 +02:00
2017-07-03 13:46:30 -04:00
2015-12-05 19:33:24 +00:00
2019-08-16 11:48:57 +02:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2018-09-20 11:58:08 +02:00
2018-08-07 17:56:07 +02:00
2017-08-03 13:07:41 +02:00
2016-07-31 18:34:33 +01:00
2017-07-03 13:46:30 -04:00
2019-06-12 15:03:18 +02:00
2018-12-06 10:30:58 +01:00
2019-06-02 18:07:10 +02:00
2019-03-12 16:03:22 +01:00
2019-05-27 22:35:02 -04:00
2019-05-27 22:35:02 -04:00
2017-01-09 23:15:16 +01:00
2017-01-09 23:15:16 +01:00
2018-02-24 00:28:37 -05:00
2015-10-10 21:04:28 +02:00
2019-06-02 21:17:26 +02:00
2019-06-02 21:17:26 +02:00
2018-05-02 12:38:40 +02:00
2016-12-31 15:29:43 +01:00