Paulo Reis 15de552c2c Make new add comment button styles as the default; removed old add comment button code.		2017-04-04 10:40:53 +01:00
..
binary-file.pug	WIP: migrate from jade to pug	2017-01-20 12:03:02 +00:00
chat.pug	fix pug syntax	2017-01-31 14:57:22 +00:00
editor.pug	Make new add comment button styles as the default; removed old add comment button code.	2017-04-04 10:40:53 +01:00
feature-onboarding.pug	Set video source only when the onboarding prompt is shown.	2017-03-30 10:35:16 +01:00
file-tree.pug	fix pug syntax	2017-01-31 14:57:22 +00:00
header.pug	Only show the tooltip if the project name is truncated.	2017-03-31 16:36:58 +01:00
history.pug	WIP: migrate from jade to pug	2017-01-20 12:03:02 +00:00
hotkeys.pug	WIP: migrate from jade to pug	2017-01-20 12:03:02 +00:00
left-menu.pug	fix pug syntax	2017-01-31 14:57:22 +00:00
pdf.pug	use html from jade as strings now fully html escaped	2017-02-17 11:05:32 +00:00
publish-template.pug	WIP: migrate from jade to pug	2017-01-20 12:03:02 +00:00
review-panel.pug	Make new add comment button styles as the default; removed old add comment button code.	2017-04-04 10:40:53 +01:00
share.pug	fix pug syntax	2017-01-31 14:57:22 +00:00