Paulo Reis 4c4a4f10c1 Rename history file tree and move it around.		2018-05-30 14:21:01 +01:00
..
history	Rename history file tree and move it around.	2018-05-30 14:21:01 +01:00
binary-file.pug
chat.pug
editor.pug	Allow font family and line height to be user configurable	2018-05-10 18:03:54 +01:00
file-tree.pug
header.pug	initial publish modal setup	2018-04-10 15:59:24 +01:00
history.pug	Add history toolbar (just scaffolding); show files at point in time.	2018-05-22 15:40:57 +01:00
hotkeys.pug
left-menu.pug	Translate default	2018-05-10 18:04:30 +01:00
pdf.pug	Put the compile timeout upgrade behind an enableSubscriptions flag	2018-05-15 10:17:04 +01:00
publish-template.pug
review-panel.pug
share.pug	Remove unknown experiments	2018-04-12 10:18:15 -05:00