Closed eugulixes closed 5 years ago
Remove the following lines because the integrate-to-cusdeb branch has already been merged to master (see https://github.com/tolstoyevsky/orion/pull/7).
integrate-to-cusdeb
master
# TODO: remove the following lines when the branch is merged to master. pushd "${TARGET}"/orion git checkout integrate-to-cusdeb popd
Remove the following lines because the
integrate-to-cusdeb
branch has already been merged tomaster
(see https://github.com/tolstoyevsky/orion/pull/7).