Fix typo in global property add_library (!1265) · Merge requests · Core Modules / dune-common · GitLab

Snippets Groups Projects

Merged Simon Praetorius requested to merge issue/project-libraries-property-name into master 1 year ago

This MR fixes a typo in dune_add_library in the set_property of ProjectName_LIBRARIES.

Activity

Simon Praetorius added bugfix buildsystem labels 1 year ago

added bugfix buildsystem labels
Simon Praetorius mentioned in merge request !1263 (closed) 1 year ago

mentioned in merge request !1263 (closed)
Simon Praetorius enabled an automatic merge when the pipeline for 420ce632 succeeds 1 year ago

enabled an automatic merge when the pipeline for 420ce632 succeeds
Santiago Ospina De Los Ríos @santiago.ospina · 1 year ago

Owner

Thanks!
Santiago Ospina De Los Ríos approved this merge request 1 year ago

approved this merge request
Simon Praetorius merged 1 year ago

merged
Simon Praetorius mentioned in commit 675817c3 1 year ago

mentioned in commit 675817c3

Please register or sign in to reply