merge from master
authorNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 11:13:31 +0000 (13:13 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 May 2020 11:13:31 +0000 (13:13 +0200)
commitcd1aa392a6e17382f573ee816c26fd5f19301f02
tree8587691261aa226cc8f99689b7766e3eab32da94
parent159e970c23d9634d39bb8cf2a194f7088f4d59ab
merge from master
library/BasicLibrary.java
library/WebLibrary.java
library/WebLibraryServer.java
library/WebLibraryServerHtml.java