diff options
Diffstat (limited to '3rdParty/Boost/update.sh')
-rwxr-xr-x | 3rdParty/Boost/update.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/3rdParty/Boost/update.sh b/3rdParty/Boost/update.sh index 92a9c70..492ff20 100755 --- a/3rdParty/Boost/update.sh +++ b/3rdParty/Boost/update.sh @@ -46,6 +46,7 @@ fi serialization/list.hpp \ serialization/shared_ptr.hpp \ serialization/string.hpp \ + serialization/set.hpp \ serialization/version.hpp \ serialization/split_member.hpp \ signals.hpp \ |