Merge branch 'cleenup/deprecate-dune-disj-conj-neg-typetraits' into 'master'
Compare changes
Files
6+ 6
− 31
@@ -424,25 +424,11 @@ namespace Std
@@ -454,22 +440,10 @@ namespace Std
@@ -482,7 +456,8 @@ namespace Std
Cleanup/deprecate dune disj conj neg typetraits
See merge request !972 (merged)
(cherry picked from commit 47b6d772)
333027ad [test] Remove test of outdated typetraits which are no replaced by standard library features b03a0553 [typetraits] Deprecated and replace occurrences of Dune::Std::conjunction/disjuction/negation