update from master
authorNiki Roo <niki@nikiroo.be>
Wed, 3 Jun 2020 13:55:39 +0000 (15:55 +0200)
committerNiki Roo <niki@nikiroo.be>
Wed, 3 Jun 2020 13:55:39 +0000 (15:55 +0200)
commitbb7d9ea97cc614a04dd45f342a4caeeb7dcb23fe
treedb1dc320ee5ba8b201f69845fb5db50082805106
parentaf6e65daddff2d602017013f498f989fefbb6be9
update from master
library/WebLibraryServer.java
supported/BasicSupport.java
supported/Text.java