"encoding/sum.lp" did not exist on "b07c85161f87f692022380feb07d32e351dc3e35"
-
Richard van der Hoff authored
* general updates to CONTRIBUTING.md * notes on updating your PR * Notes on squash-merging or otherwise * document git branching model
Richard van der Hoff authored* general updates to CONTRIBUTING.md * notes on updating your PR * Notes on squash-merging or otherwise * document git branching model
After you've reviewed these contribution guidelines, you'll be all set to
contribute to this project.