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

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