Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tree: 0c56aab520
Fetching contributors…

Cannot retrieve contributors at this time

9 lines (8 sloc) 0.216 kB
OPAM_EXECUTABLE_PATH=$(which opam) || return 1
function opam () {
"$OPAM_EXECUTABLE_PATH" "$@"
if [ -n "$1" ] && [ "$1" = "switch" ]
then
eval $("$OPAM_EXECUTABLE_PATH" config -env)
fi
}
Jump to Line
Something went wrong with that request. Please try again.