Update to required develop branch of circle

pull/657/head
Kevin 10 months ago
parent 96fbce6c59
commit 0e7aadbbfa
  1. 2
      submod.sh

@ -12,7 +12,7 @@ cd -
#
# Optional update submodules explicitly
cd circle-stdlib/libs/circle
git checkout 4155f43
git checkout fff3764
cd -
cd circle-stdlib/libs/circle-newlib
#git checkout develop

Loading…
Cancel
Save