automaticly create the basex db from sourcesPrep

2019-07-19 10:57:45 +02:00
parent c5f1469cde
commit 9644e66fbf
5 changed files with 43 additions and 14 deletions
@@ -0,0 +1,2 @@
+set show-all-if-ambiguous on
+set completion-ignore-case on