Brian Gough 78f2fdd25b Merge pull request #82 from sharelatex/bg-log-core-files-as-error ... log an error if core file is found in output		2018-01-04 09:22:44 +00:00
..
clsi	Merge pull request #82 from sharelatex/bg-log-core-files-as-error	2018-01-04 09:22:44 +00:00