Paulo Reis 8249f4e17e Wrap copies of existing history UI elements in components.		2018-04-27 11:22:20 +01:00
..
history	Wrap copies of existing history UI elements in components.	2018-04-27 11:22:20 +01:00
binary-file.pug
chat.pug
editor.pug
file-tree.pug
header.pug
history-file-tree.pug
history.pug	Wrap copies of existing history UI elements in components.	2018-04-27 11:22:20 +01:00
hotkeys.pug
left-menu.pug
pdf.pug
publish-template.pug
review-panel.pug
share.pug