use std::is_detected instead of Dune backport
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Menüleiste ausklappen
use std::is_detected instead of Dune backport
Praetorius, Simon
requested to merge
feature/std_isdetected
into
master
Apr 14, 2020
Overview
0
Commits
1
Changes
10
Merge request reports
Loading