diff docs/templates/default.html @ 776:3799621cd25b

admin: Correctly flush loggers before exiting.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 04 Jul 2016 00:16:26 -0700
parents 1c452b7ab8b1
children 94d7d5e38571
line wrap: on
line diff