diff website/push.sh @ 1627:07be5015159d

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