0001-fix-cmake-install-target.patch
0002-No-minified-codemirror.js.patch
0003-No-minified-prettify.js.patch
