diff scripts/uninstall.sh @ 68:694359b01e06

fix unindent
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 10 Jun 2025 20:32:40 -0600 (9 days ago)
parents a4a97e8c204f
children
line wrap: on
line diff