merge from master
authorNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 10:54:13 +0000 (12:54 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 10:54:13 +0000 (12:54 +0200)
commit159e970c23d9634d39bb8cf2a194f7088f4d59ab
tree60912caebc47d9069d87528801f8dc58084db4ab
parent4536c5cf2d7b8e68768f90d281b3e4974cd26ae9
merge from master
library/WebLibrary.java
library/WebLibraryServer.java
library/WebLibraryServerHtml.java
library/WebLibraryUrls.java