Open mirenradia opened 1 year ago
I've never been a fan of the structure of GRChombo's top level makefile.
Also, changing build configuration options should be invisible to Git.
I've never been a fan of the structure of GRChombo's top level makefile.
Also, changing build configuration options should be invisible to Git.