Skip to content

Conversation

@krassowski
Copy link
Member

This file has been there to redirect users hitting it from an old version of the JupyterLab extension (from the link from a statusbar), which is no longer supported and the file has been there for over 5 months. It's time to remove it.

Also, this is a test of Azure Pipelines (will the webhook trigger a new build?).

@krassowski krassowski merged commit d8abdbe into master Jul 30, 2020
@bollwyvl
Copy link
Collaborator

bollwyvl commented Jul 30, 2020 via email

@krassowski krassowski deleted the docs/remove-outdated-LANGUAGESERVERS branch September 4, 2020 16:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants