This commit is contained in:
Danny Willems 2016-10-08 14:01:47 +02:00
parent cd37d19dda
commit de197a108a

View File

@ -0,0 +1,2 @@
# OPAM configuration
. $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true