desb42 567e03dc1d Gui: Strip `blank:` from links [#799] vor 4 Jahren
..
lib 66877212bf Embeddable: Create core dbs in proper subdirectory vor 7 Jahren
src 567e03dc1d Gui: Strip `blank:` from links [#799] vor 4 Jahren
.classpath af6f7cf657 Page_sync: Show synced page immediately, not after another refresh vor 7 Jahren