 Jakob Ackermann
|
1d1b9ebebc
|
[misc] bump the dev-env to 3.3.2
|
2020-08-10 17:01:11 +01:00 |
|
|
Miguel Serrano
|
f8ca906393
|
Fixed NPE when Settings.clsi is defined but Settings.clsi.docker is not
|
2020-06-25 12:31:10 +02:00 |
|
|
Brian Gough
|
bdebef91eb
|
Merge branch 'master' into bg-add-compile-groups
|
2020-06-17 11:58:26 +01:00 |
|
|
Brian Gough
|
2ce03f0554
|
add initial compileGroup support
|
2020-06-15 15:28:53 +01:00 |
|
|
Brian Gough
|
5368630754
|
check output file exists before running synctex
|
2020-06-12 15:15:27 +01:00 |
|
|
Brian Gough
|
3d6b911295
|
add setting TEXLIVE_OPENOUT_ANY
|
2020-06-04 11:47:22 +01:00 |
|
|
Brian Gough
|
8e86f02c43
|
set encoding when reading from streams
using .toString() works most of the time but can lead to utf8 characters being
broken across chunk boundaries.
https://nodejs.org/api/stream.html#stream_readable_setencoding_encoding
|
2020-05-07 10:30:14 +01:00 |
|
|
mserranom
|
8729acd48c
|
prettier: convert app/js decaffeinated files to Prettier format
|
2020-02-19 12:14:37 +01:00 |
|
|
mserranom
|
3af6bdd588
|
decaffeinate: rename app/coffee dir to app/js
|
2020-02-19 12:14:34 +01:00 |
|