diff scripts/uninstall.sh @ 629:35dde32c02ab 0.15

change String.matches()
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 18 Jan 2016 23:07:52 -0700
parents 9e9bb358b2df
children ffb47187f02f
line wrap: on
line diff