Merge de197a108a
into 4fec0a46e7
This commit is contained in:
commit
659868954e
|
@ -0,0 +1,2 @@
|
|||
# OPAM configuration
|
||||
. $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
|
Loading…
Reference in New Issue