This repository has been archived on 2023-08-14. You can view files and clone it, but cannot push or open issues or pull requests.

Amruta Chitnis da872ecd35 web: Adds tectonic specific files		2016-12-01 12:16:18 -08:00
..
static	web: Adds svg files for icons	2016-12-01 12:15:47 -08:00
templates	*: add theme based frontend configuration	2016-11-30 17:20:21 -08:00
themes	web: Adds tectonic specific files	2016-12-01 12:16:18 -08:00