Squashed 'BuildTools/' content from commit 9dd603c

git-subtree-dir: BuildTools
git-subtree-split: 9dd603cd3f0f38bb6deeb306b55034e4e8d8c0b5
Squashed 'ThirdParty/ASL/' content from commit a4a3d20

git-subtree-dir: ThirdParty/ASL
git-subtree-split: a4a3d2008aea32088e98df1580552db12303f593
Merge commit '13e85b2b5343f1dfaa2a214e7184a0e025f96cdc' as 'BuildTools'
Squashed 'ThirdParty/Blas/' content from commit 76f4648

git-subtree-dir: ThirdParty/Blas
git-subtree-split: 76f464847f21fad012ae8ca27f8be21de9dd2037
Merge commit '53cd2cb3144a30801e8584b6cea4a195b068f3b0' as 'ThirdParty/ASL'
Squashed 'ThirdParty/Lapack/' content from commit 1680791

git-subtree-dir: ThirdParty/Lapack
git-subtree-split: 1680791d04bbb7476ccf52ec8f09647bb572a617
Merge commit '414cc98de0fa76bc4ad2cd692c4b9f8e42b68399' as 'ThirdParty/Blas'
Merge commit 'c6ff3b69391613681e6d59a4c34eb71add31f835' as 'ThirdParty/Lapack'
Squashed 'ThirdParty/Glpk/' content from commit afe0057

git-subtree-dir: ThirdParty/Glpk
git-subtree-split: afe0057b4903ab8ea654c12e9d10c2cd43a9993b
Merge commit 'b497f82129d982a38950fe861e89357046ba92ec' as 'ThirdParty/Glpk'
Squashed 'CoinUtils/' content from commit 8305cd0

git-subtree-dir: CoinUtils
git-subtree-split: 8305cd07923faaae5613bb16332dba616b32f37b
Merge commit 'ea9a7ffc5b4a17d3a59cf6def39170bad6f5a3bc' as 'CoinUtils'
Squashed 'Cgl/' content from commit 029c9ed

git-subtree-dir: Cgl
git-subtree-split: 029c9edf16880d2b548a925e5719921a7d4f98c5
Merge commit 'fa50c7f4b4f498d23f2c9d77896baea809325922' as 'Cgl'
Squashed 'Clp/' content from commit 238bf7d

git-subtree-dir: Clp
git-subtree-split: 238bf7d5880e1e134a8b6e8d3b42173721b84647
Merge commit 'd33c5623700f7d2aa55261f9b63b87cf41032307' as 'Clp'
Squashed 'Osi/' content from commit 5cf65aa

git-subtree-dir: Osi
git-subtree-split: 5cf65aa3c7d6fd44e26f70c4623207c77ddde2d4
Squashed 'Vol/' content from commit f81ae47

git-subtree-dir: Vol
git-subtree-split: f81ae476cdd30a662b1a6a09f32220e5cce3127d
Merge commit '816a7417923c86b1eb29a55a62bffdc6da770c3f' as 'Osi'
Merge commit '081b5d83b5430e00d0398d3b2aeaffb9313b22d2' as 'Vol'