diff browser/collections.py @ 1153:94f9d81a475e

pages: auto reloading when developer mode is activated, pages are automatically reloaded when page_meta.py is modified.
author Goffi <goffi@goffi.org>
date Fri, 22 Feb 2019 16:57:37 +0100
parents 28e3eb3bb217
children
line wrap: on
line diff