Make all the options of deprecated subcommand - Githubissues

na4zagin3 / satyrographos

Package manager for SATySFi

GNU Lesser General Public License v3.0

45 stars 13 forks source link

Make all the options of deprecated subcommand #142

Closed na4zagin3 closed 4 years ago

na4zagin3 commented 4 years ago

Now all the options that opam uninstall takes are optional.