graphdb-workbench/dist/128.e848d84bfb1746d9b4ca.bundle.js

The web application for GraphDB APIs

(window.webpackJsonp=window.webpackJsonp||[]).push([[128],{181:function(module,exports){module.exports=function(obj){obj||(obj={});var __t,__p="";with(obj)__p+="<h4>Import execution</h4>\n<ul>\n    <li>Imports are executed in the background while you continue working on other things.</li>\n    <li>Interrupt is supported only when the location is local.</li>\n    <li>Parser config options are not available for remote locations.</li>\n</ul>";return __p}}}]);
//# sourceMappingURL=128.e848d84bfb1746d9b4ca.bundle.js.map