9 commits

Author	SHA1	Message	Date
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

Renamed from services/clsi/app/coffee/CompileManager.js (Browse further)