log src/server/pages_tools.py @ 1083:ff503f23ac37

age author description
Sun, 18 Mar 2018 11:34:01 +0100 Goffi pages: new pages_tools module: