Brian Gough
|
3e3e4503eb
|
add setting TEXLIVE_OPENOUT_ANY
|
2020-06-04 11:47:22 +01:00 |
|
Brian Gough
|
5b5fd2f5df
|
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
|
cffbd4e9ef
|
prettier: convert app/js decaffeinated files to Prettier format
|
2020-02-19 12:14:37 +01:00 |
|
mserranom
|
4576ef54fb
|
decaffeinate: rename app/coffee dir to app/js
|
2020-02-19 12:14:34 +01:00 |
|