Stop reading reg_opam when the directory does not exist - Githubissues

na4zagin3 / satyrographos

Package manager for SATySFi

GNU Lesser General Public License v3.0

44 stars 13 forks source link

Stop reading reg_opam when the directory does not exist #106

Closed na4zagin3 closed 4 years ago

na4zagin3 commented 4 years ago

Fixes #105