util/__init__.py
author Edouard Tisserant
Mon, 13 Aug 2018 13:24:28 +0200
changeset 2262 4195545e2d17
parent 742 41a4a560406c
permissions -rw-r--r--
NevowServer : added addInfoString to allow extensions to declare some read-only strings to be displayed in settings. Also renamed addExtension in addSettings for clarity.