Mario Pietsch 760c80c655 BibTex plugin: Fix a problem with MIME types under Ubuntu 18.04 ...

Ubuntu 18.04 returns text/x-bibtex for .bib files instead of application/x-bibtex.

2018-05-16 14:20:51 +01:00

..

boot.css.tid

Tweaks for RSOD adjustments 7468ad7

2018-05-10 15:29:31 +01:00

boot.js

BibTex plugin: Fix a problem with MIME types under Ubuntu 18.04

2018-05-16 14:20:51 +01:00

bootprefix.js

Minor tweaks to boot kernel for AWS

2015-12-19 18:52:25 +00:00

sjcl.js

Update Stanford JavaScript Library to 1.0.7

2017-07-18 15:42:35 +01:00

sjcl.js.meta

Make the core into a plugin

2013-03-28 17:07:30 +00:00