A web-based collaborative LaTeX editor
Find a file
Paulo Jorge Reis 02eb683298 Merge pull request #1113 from sharelatex/pr-compile-only-ol-dark-dev
Move LESS compilation process to Makefile

GitOrigin-RevId: 5a3871759eda2685ec0690899b0904d45c7db0a6
2018-11-16 12:02:47 +00:00
services/web Merge pull request #1113 from sharelatex/pr-compile-only-ol-dark-dev 2018-11-16 12:02:47 +00:00