Hayden Faulds 95b82a3c9d use ProjectGetter in ProjectLocator.findElementByPath 8 жил өмнө
..
coffee 95b82a3c9d use ProjectGetter in ProjectLocator.findElementByPath 8 жил өмнө
templates fc4ffc3905 Fix typo and file extension in example tex template 8 жил өмнө
views ebad9091c7 Create class to scope main header changes (avoids overriding too much Bootstrap stuff); apply styles. 8 жил өмнө