New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Load extensions via URL #1148

Closed

brollb opened this issue Dec 8, 2020 · 0 comments

Labels

Collaborator

brollb commented Dec 8, 2020

It would be useful (especially in the case of autograders) to be able to automatically load extensions via the URL's querystring

brollb added the enhancement label

brollb added a commit that referenced this issue


          Add support for loading extensions from the URL. Closes #1148

f87eb8d

brollb closed this as completed in

b4edcd9

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment