diff docs/templates/doc.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 61d53d2163d6
children 94d7d5e38571
line wrap: on
line diff