Skip to content
Snippets Groups Projects
Commit 749725a1 authored by Tom Wiesing's avatar Tom Wiesing :speech_balloon:
Browse files

Update def-build.mbt

parent cea1722f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
config/def-build.mbt
+ 1
− 1
View file @ 749725a1
......@@ -25,5 +25,5 @@ loadExtension("info.kwarc.mmt.api.web.JSONBasedGraphServer", Nil)
// load the catalog
loadConfig(root + "meta/inf/config/MathHub/config.mcf", true)
loadConfig(root + "meta/inf/config/config.mcf", true)
loadExtension("info.kwarc.mmt.api.ontology.RelationalReader", Nil)
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment