Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Type annotation for more of the control code #1832
Thanks for these changes Pat! I tried to comment on all questions and suggestions. You seem to have found quite a few unused code paths and some broken functionality. Some parts of CATMAID, e.g. the ontology and classification tools, didn't get much testing over the last years.