merge from master
authorNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 15:10:18 +0000 (17:10 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 15:10:18 +0000 (17:10 +0200)
commit6d465e886ae46c9da99117cc4302948f700a51c4
treed443278ce686b6a3d8c9dfb47bc26050a824a93a
parent877a44c78f1c4985aa362f6cdce385a4f860b51d
merge from master
Main.java
library/RemoteLibrary.java
library/WebLibrary.java
library/WebLibraryServer.java
library/WebLibraryServerHtml.java
library/WebLibraryUrls.java