diff src/server/html_tools.py @ 1075:ee1327eb2b84

pages: updated default menu
author Goffi <goffi@goffi.org>
date Sat, 24 Mar 2018 11:25:36 +0100
parents f2170536ba23
children cdd389ef97bc
line wrap: on
line diff