Merge from master
authorNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 10:09:51 +0000 (12:09 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 10:09:51 +0000 (12:09 +0200)
commit4536c5cf2d7b8e68768f90d281b3e4974cd26ae9
treeb87b389951324d89f498228aaf6854f4675b3266
parent87ffaa787388b0389f5134aa70c4b1e2e940c118
Merge from master
data/JsonIO.java
library/BasicLibrary.java
library/CacheLibrary.java
library/LocalLibrary.java
library/RemoteLibrary.java
library/RemoteLibraryServer.java
library/WebLibrary.java
library/WebLibraryServer.java
library/WebLibraryServerHtml.java
library/WebLibraryUrls.java