diff website/src/manual.html @ 1530:447b7ef9197f

minor fix
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 28 Jul 2020 22:12:36 -0600
parents d3e61cd2aca0
children 0af6a9d6d12f
line wrap: on
line diff