mirror of
https://github.com/boostorg/boost.git
synced 2025-04-16 18:24:43 +00:00
Merge branch 'develop' of github.com:boostorg/boost into develop
This commit is contained in:
commit
ac0e3ff33d
2 changed files with 2 additions and 2 deletions
|
@ -1 +1 @@
|
|||
Subproject commit 7b15eab70d356f138af2dab1ad34cfdf06f512f0
|
||||
Subproject commit 5f52abd82fb6fb32d7d79575e48b3f26bfff6d27
|
|
@ -17,7 +17,7 @@ update_tools()
|
|||
{
|
||||
cwd=`pwd`
|
||||
cd boost
|
||||
svn up
|
||||
git pull
|
||||
cd "${cwd}"
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue