RemoteLib: transfer pg name
authorNiki Roo <niki@nikiroo.be>
Fri, 1 May 2020 10:22:46 +0000 (12:22 +0200)
committerNiki Roo <niki@nikiroo.be>
Fri, 1 May 2020 10:22:46 +0000 (12:22 +0200)
commit95c926ea1d5b7c75d5bbc81c50d80f5509d28a4d
tree02c2f6d07a9c4fef72434c0f35780db2f77781f7
parent1f5a9d0c967d7d1cd007ae43fc895e0d1f48f419
RemoteLib: transfer pg name
library/RemoteLibraryServer.java