Closed MatthieuSchaller closed 4 years ago
Just a quick change to top git from listing all the compilation-related and cmake-related files. Very hard at the moment to use diffs as the Makefiles always show up as enormous large diffs which we don't care about.
Just a quick change to top git from listing all the compilation-related and cmake-related files. Very hard at the moment to use diffs as the Makefiles always show up as enormous large diffs which we don't care about.