Admin/Windows/Cygwin/isabelle/rebaseall
changeset 50978 20edcc6a8def
parent 50892 9a7d81d66d09
child 51068 48cecc50c221
equal deleted inserted replaced
50977:983794d3b84f 50978:20edcc6a8def
    12 done
    12 done
    13 
    13 
    14 dash /bin/rebaseall -T "$FILE_LIST"
    14 dash /bin/rebaseall -T "$FILE_LIST"
    15 
    15 
    16 rm -f "$FILE_LIST"
    16 rm -f "$FILE_LIST"
       
    17