Closed hmenager closed 3 years ago
the name of bio.tools files is now [entry].biotools.json, hence this correction
the name of bio.tools files is now [entry].biotools.json, hence this correction