Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Christian Engwer authored
we install dune.complete into $PREFIX/share/bash-complete/ upto now you have to source the file by hand.
Christian Engwer authoredwe install dune.complete into $PREFIX/share/bash-complete/ upto now you have to source the file by hand.
