Admin/Windows/Cygwin/isabelle/rebaseall
author blanchet
Mon, 19 Jul 2021 14:47:53 +0200
changeset 74314 bed899f14df7
parent 60985 9d7ba380223c
permissions -rwxr-xr-x
tuning

#!/bin/dash

export PATH=/bin
dash /bin/rebaseall