Move build system doc license to another file (!1507) · Merge requests · Core Modules / dune-common · GitLab

Snippets Groups Projects

Merged Santiago Ospina De Los Ríos requested to merge bugfix/move-build-system-doc-license-to-anotherfile into master 2 months ago

This line is showing up in the online build system documentation, so this is the obvious fix.

Activity

Santiago Ospina De Los Ríos changed title from Move build system license to another file to Move build system doc license to another file 2 months ago

changed title from Move build system license to another file to Move build system doc license to another file
Santiago Ospina De Los Ríos enabled an automatic merge when all merge checks for c93dc84e pass 2 months ago

enabled an automatic merge when all merge checks for c93dc84e pass
Santiago Ospina De Los Ríos canceled the automatic merge 2 months ago

canceled the automatic merge
Santiago Ospina De Los Ríos merged 2 months ago

merged
Santiago Ospina De Los Ríos mentioned in commit 2e9c311d 2 months ago

mentioned in commit 2e9c311d
Santiago Ospina De Los Ríos mentioned in merge request infrastructure/dune-website!568 (merged) 2 months ago

mentioned in merge request infrastructure/dune-website!568 (merged)

Please register or sign in to reply