diff src/server/utils.py @ 1082:8d8b88bfddad

pages: default menu update
author Goffi <goffi@goffi.org>
date Tue, 27 Mar 2018 08:40:27 +0200
parents 808ec98de8b3
children 63ed5f6bd4eb
line wrap: on
line diff