Closed
Description
The directory src/amuse/community/seba/src/include/star/tmp/ seems to be redundant (tested by deleting it and rebuilding/testing), can this directory be removed?
{{ message }}
The directory src/amuse/community/seba/src/include/star/tmp/ seems to be redundant (tested by deleting it and rebuilding/testing), can this directory be removed?
Activity