Closed UnixJunkie closed 6 years ago
they might be new users of obuild or they might use it inderectly because of another tool (like opam) so we might need to direct them more
this one is also pretty sage to merge too: it just gives better user feedback to users who are not accustomed to obuild
they might be new users of obuild or they might use it inderectly because of another tool (like opam) so we might need to direct them more