Remove unnecessary files #11
Merged
MicheleC
merged 1 commits from drop/unneeded-files
into master
6 months ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'drop/unneeded-files'
Deleting a branch is permanent. It CANNOT be undone. Continue?
This is also in preparation of cmake conversion.
fb97a162f6
to15f2729a43
6 months agoLooks good.
15f2729a43
into master 6 months agoReviewers
15f2729a43
.