diff website/src/docs.html @ 1627:07be5015159d

better config
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 07 Dec 2021 22:15:16 -0700
parents d3e61cd2aca0
children
line wrap: on
line diff