diff build.sh @ 57:f91c336cdde5 default tip

for windows
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 29 May 2025 22:29:34 -0600
parents d5681da8ece8
children
line wrap: on
line diff