search

na4zagin3 / satyrographos

Package manager for SATySFi
GNU Lesser General Public License v3.0
44 stars 13 forks source link

Refactor bin/commandPin.ml #95

Closed na4zagin3 closed 4 years ago

na4zagin3 commented 4 years ago

This PR refactors bin/commandPin.ml and add a few .mli files.

Part of #19.