summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '3rdParty/Boost/update.sh')
-rwxr-xr-x3rdParty/Boost/update.sh1
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 \