various refinements in new modules
authorPaul Hänsch <paul@plutz.net>
Sun, 18 Nov 2018 20:59:01 +0000 (21:59 +0100)
committerPaul Hänsch <paul@plutz.net>
Sun, 18 Nov 2018 20:59:01 +0000 (21:59 +0100)
commit3fe2a9ceb477adf245f6cc8f72fb61282e42c904
tree7da379bbc970c3d6ba93bb849d0a768efa883d77
parent41bcab02ff4b11d22a2624e7afabc50e9c33ae2f
various refinements in new modules
logging.sh
session.sh