comparison .hgignore @ 1131:9cf592d1e6aa

server: better error handling when a named page mentioned in menu_json is missing
author Goffi <goffi@goffi.org>
date Tue, 18 Sep 2018 21:16:51 +0200
parents a5019e62c3e9
children a44f77559279
comparison
equal deleted inserted replaced
1130:8a7d75c18d40 1131:9cf592d1e6aa