log src/server/pages_tools.py @ 1106:09feea19d7b9

age author description
2018-03-18 Goffi pages: new pages_tools module: