Paulo Reis 15de552c2c Make new add comment button styles as the default; removed old add comment button code. há 9 anos atrás
..
binary-file.pug 57cd54bf55 WIP: migrate from jade to pug há 9 anos atrás
chat.pug b0dd7475b0 fix pug syntax há 9 anos atrás
editor.pug 15de552c2c Make new add comment button styles as the default; removed old add comment button code. há 9 anos atrás
feature-onboarding.pug 250d19163b Set video source only when the onboarding prompt is shown. há 9 anos atrás
file-tree.pug b0dd7475b0 fix pug syntax há 9 anos atrás
header.pug 6b9b8480a8 Only show the tooltip if the project name is truncated. há 9 anos atrás
history.pug 57cd54bf55 WIP: migrate from jade to pug há 9 anos atrás
hotkeys.pug 57cd54bf55 WIP: migrate from jade to pug há 9 anos atrás
left-menu.pug b0dd7475b0 fix pug syntax há 9 anos atrás
pdf.pug debe78030a use html from jade as strings now fully html escaped há 9 anos atrás
publish-template.pug 57cd54bf55 WIP: migrate from jade to pug há 9 anos atrás
review-panel.pug 15de552c2c Make new add comment button styles as the default; removed old add comment button code. há 9 anos atrás
share.pug b0dd7475b0 fix pug syntax há 9 anos atrás