Merge branch 'master' into w2p-62355_optimize-search-performance

This commit is contained in:
lotte
2019-08-14 12:31:07 +02:00
269 changed files with 3758 additions and 3825 deletions

View File

@@ -20,7 +20,6 @@ import { CookieService } from '../../app/core/services/cookie.service';
import { AuthService } from '../../app/core/auth/auth.service';
import { Angulartics2Module } from 'angulartics2';
import { Angulartics2GoogleAnalytics } from 'angulartics2/ga';
import { ServerSubmissionService } from '../../app/submission/server-submission.service';
import { SubmissionService } from '../../app/submission/submission.service';
export const REQ_KEY = makeStateKey<string>('req');