diff scripts/uninstall.sh @ 71:99ebb6176d2f default tip

better build
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 12 Jun 2025 17:08:31 -0600
parents a4a97e8c204f
children
line wrap: on
line diff