diff options
Diffstat (limited to 'source.list')
-rw-r--r-- | source.list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source.list b/source.list index 555392138..09f78a963 100644 --- a/source.list +++ b/source.list @@ -399,6 +399,7 @@ core/pool_type.hpp core/random_func.cpp core/random_func.hpp core/smallmap_type.hpp +core/smallmatrix_type.hpp core/smallvec_type.hpp core/sort_func.hpp core/string_compare_type.hpp |