Merge pull request #3129 from stan-dev/very-aggressive-boost-pruning

Try much more aggressive boost pruning
stan-dev · Nov 20, 2024 · 8cfec9b · 8cfec9b
2 parents baae551 + 7c9d7ab
commit 8cfec9b
Show file tree

Hide file tree

Showing 7,335 changed files with 11 additions and 1,483,645 deletions.
diff --git a/lib/boost_1.84.0/boost/asio.hpp b/lib/boost_1.84.0/boost/asio.hpp