diff website/src/docs.html @ 376:0a75ed73bccc

partly revert rev 538c19ad1272 (logging)
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 18 Apr 2015 19:57:42 -0600
parents e01cddba3433
children 83efd1e3685c
line wrap: on
line diff