Brian Goughandsharelatex d75d8ee079 Merge pull request #1035 from sharelatex/bg-fix-github-sync-filetypes ...

check the filetype before syncing file

GitOrigin-RevId: ec1a309e2423c6ff2c73202dcabae610edce4f6e

2018-10-23 13:16:30 +00:00

..

coffee

Merge pull request #1035 from sharelatex/bg-fix-github-sync-filetypes

2018-10-23 13:16:30 +00:00