diff options
| author | Jose Ivan Vargas <jvargas@gitlab.com> | 2018-02-12 22:04:59 +0300 |
|---|---|---|
| committer | Jose Ivan Vargas <jvargas@gitlab.com> | 2018-02-13 00:59:32 +0300 |
| commit | 954bfb5db557b7455e913e42be5b851d94d0a49d (patch) | |
| tree | 2b267bf8fac2d6b747ae04fac5db3e835fde3fdc /package.json | |
| parent | c833a09d9156e26851746250460ddd2f091e73cd (diff) | |
Addressed mr observations
Diffstat (limited to 'package.json')
| -rw-r--r-- | package.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package.json b/package.json index f7dac7146b4..4eccd51a3a6 100644 --- a/package.json +++ b/package.json @@ -56,7 +56,7 @@ "js-cookie": "^2.1.3", "jszip": "^3.1.3", "jszip-utils": "^0.0.2", - "katex": "^0.9.0-alpha2", + "katex": "^0.8.3", "marked": "^0.3.12", "monaco-editor": "0.10.0", "mousetrap": "^1.4.6", |