Mini Shell
Mini Shell
| Direktori : /www/old2/_muzikoterapie/uloziste.eacm.cz/apps/text/js/highlight/ |
| Current File : /www/old2/_muzikoterapie/uloziste.eacm.cz/apps/text/js/highlight/coq-js-js.js |
(self.webpackChunk_nextcloud_text=self.webpackChunk_nextcloud_text||[]).push([["highlight/coq-js-js"],{36768:(e,i,n)=>{var s=n(25108);!function e(){e.warned||(e.warned=!0,s.log('Deprecation (warning): Using file extension in specifier is deprecated, use "highlight.js/lib/languages/coq" instead of "highlight.js/lib/languages/coq.js"'))}(),e.exports=n(99087)}}]);
//# sourceMappingURL=coq-js-js.js.map?v=793cbfa9e293c1e651d9