HomeHEPForge
Diffusion HEJ 18b65fec0066

Merge branch 'dependencies_flags' into 'master'

Description

Merge branch 'dependencies_flags' into 'master'

Dependencies flags

See merge request hej/HEJ!141

Details

Provenance
amaierAuthored on Apr 27 2020, 10:18 AM
hejPushed on Jan 14 2021, 6:07 PM
Parents
rHEJe440acc43553: Move dependencies flags to own header
rHEJ31377a2a7a7a: Exclude automatic generated files from coverage analysis
Branches
Unknown
Tags
Unknown