Closed nicolaspayette closed 4 years ago
Fix #196.
Thanks again for the PR! I think I got the extension manager issue resolved by updating the NetLogo version.
Fix #196.