comparison src/server/pages_tools.py @ 1082:8d8b88bfddad

pages: default menu update
author Goffi <goffi@goffi.org>
date Tue, 27 Mar 2018 08:40:27 +0200
parents 5e809a49971c
children cdd389ef97bc
comparison
equal deleted inserted replaced
1081:ed67265205c4 1082:8d8b88bfddad