Douglas Lovell aae0484458 Merge branch 'master' into dcl-i1207 ...

GitOrigin-RevId: c947041ca99860d4afb62ecfd28ba6fe1c717bfc

2018-11-30 13:24:27 +00:00

..

_mixins

Merge pull request #1157 from sharelatex/jel-aria-hidden-fix

2018-11-19 09:57:35 +00:00

admin

Sanitize display of system messages.

2018-08-22 10:15:50 +01:00

beta_program

enable incremental compilation for beta users

2017-08-09 10:57:24 +01:00

blog

WIP: migrate from jade to pug

2017-01-20 12:03:02 +00:00

general

Merge pull request #1180 from sharelatex/pr-ieee-basic-styling-fixed

2018-11-22 15:32:58 +00:00

layout

Merge pull request #1157 from sharelatex/jel-aria-hidden-fix

2018-11-19 09:57:35 +00:00

mixins

Add pagination mixin and color variables

2018-08-20 09:25:33 -05:00

project

Merge branch 'master' into dcl-i1207

2018-11-30 13:24:27 +00:00

referal

Merge pull request #1120 from sharelatex/spd-bonus-page-facebook-link

2018-11-07 10:37:13 +00:00

subscriptions

Merge branch 'master' into dcl-i1207

2018-11-30 13:24:27 +00:00

sudo_mode

WIP: enable sudo-mode for v2

2018-10-04 15:05:40 +01:00

translations

Fix language icons in language recommendation

2017-02-03 16:31:42 +01:00

university

WIP: migrate from jade to pug

2017-01-20 12:03:02 +00:00

user

Merge pull request #1157 from sharelatex/jel-aria-hidden-fix

2018-11-19 09:57:35 +00:00

user_membership

Merge pull request #1157 from sharelatex/jel-aria-hidden-fix

2018-11-19 09:57:35 +00:00

view_templates

Merge pull request #1157 from sharelatex/jel-aria-hidden-fix

2018-11-19 09:57:35 +00:00

_metadata.pug

Merge pull request #1143 from sharelatex/robots-noindex

2018-11-09 23:55:43 +00:00

layout.pug

Merge pull request #1180 from sharelatex/pr-ieee-basic-styling-fixed

2018-11-22 15:32:58 +00:00

restore.pug

fix pug syntax

2017-01-31 14:57:22 +00:00

scribtex-modal.pug

fix pug syntax

2017-01-31 14:57:22 +00:00

sentry.pug

Merge pull request #1114 from sharelatex/as-fix-sentry-reporting

2018-11-15 10:04:23 +00:00

tests.pug

WIP: migrate from jade to pug

2017-01-20 12:03:02 +00:00

v1-tooltip.pug

Update v1 project/tag tooltips

2017-12-15 12:17:08 +00:00