diff scripts/uninstall.sh @ 1263:382c444a6c77

add Http.eval_in_root and Http.handle_error
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 24 Sep 2018 22:06:25 -0600
parents ffb47187f02f
children bda4ec615c5b
line wrap: on
line diff