Admin/Windows/Cygwin/isabelle/rebaseall
author Andreas Lochbihler <mail@andreas-lochbihler.de>
Wed, 30 Jun 2021 09:11:31 +0200
changeset 73887 9b981f5612d0
parent 60985 9d7ba380223c
permissions -rwxr-xr-x
merged

#!/bin/dash

export PATH=/bin
dash /bin/rebaseall