Skip to content
GitLab
Explore
Sign in
Müller, Felix
amdis-core
Repository
amdis-core
src
amdis
common
ConceptsBase.hpp
Find file
Blame
History
Permalink
renamed requires_ to require to conform to dune naming
· 9a93427e
Praetorius, Simon
authored
Apr 18, 2019
9a93427e