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 7996dfb..2fe348c 100755 --- a/3rdParty/Boost/update.sh +++ b/3rdParty/Boost/update.sh @@ -50,6 +50,7 @@ fi serialization/set.hpp \ serialization/version.hpp \ serialization/split_member.hpp \ + serialization/optional.hpp \ signals.hpp \ thread.hpp \ unordered_map.hpp \ |