Update editor.pug

This commit is contained in:
Henry Oswald 2017-12-14 10:21:53 +00:00 committed by GitHub
parent 490c56c692
commit bbbba701b0

View file

@ -165,5 +165,5 @@ block requirejs
data-main=buildJsPath("ide.js", {hashedPath:false, fingerprint:false}),
baseurl=fullJsPath,
data-ace-base=buildJsPath(lib('ace'), {fingerprint:false}),
src=buildJsPath('libs/require.js', {hashedPath:true})
src=buildJsPath('libs/require.js', {hashedPath:false})
)