Closed qaisjp closed 6 years ago
This pull request merges in the state machine code from hyped-2018 as a subtree.
hyped-2018
Not really necessary as there won't be any new changes, but the following line can merge in new changes from hyped-2018:
git subtree pull --squash --prefix=src/state_machine https://github.com/Hyp-ed/hyped-2018.git develop
This pull request merges in the state machine code from
hyped-2018
as a subtree.Not really necessary as there won't be any new changes, but the following line can merge in new changes from
hyped-2018
: