| .. |
|
_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 pull request #1362 from sharelatex/as-fix-status-page
|
2019-01-08 12:02:58 +00:00 |
|
referal
|
Merge pull request #1120 from sharelatex/spd-bonus-page-facebook-link
|
2018-11-07 10:37:13 +00:00 |
|
subscriptions
|
Merge pull request #1260 from sharelatex/ja-remove-deprecated-v1-team-status
|
2018-12-20 10:55:52 +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 #1319 from sharelatex/ja-account-deletion-message
|
2019-01-07 11:33:30 +00:00 |
|
user_membership
|
Merge pull request #1192 from sharelatex/ta-publisher-create
|
2018-12-06 11:10:20 +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 #1209 from sharelatex/jel-mobile-improvements
|
2018-12-05 17:59:47 +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 |
