Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/env
changeset 73604 51b291ae3e2d
parent 29143 72c960b2b83e
equal deleted inserted replaced
73603:342362c9496c 73604:51b291ae3e2d 
    23 
    23 
    24 ## main
 
    24 ## main
 
    25 
    25 
    26 [ "$1" = "-?" ] && usage
 
    26 [ "$1" = "-?" ] && usage
 
    27 
    27 
    28 exec /usr/bin/env "$@"
 
    28 /usr/bin/env "$@"
isabelle