language-servers/language-server-protocol
1
0
Fork 0
mirror of https://github.com/microsoft/language-server-protocol.git synced 2025-12-23 08:48:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove /history for now

Browse source
This commit is contained in:
Kenneth Auchenberg 2018-01-17 13:17:38 -08:00
parent 897b00c530
commit f377fd882a
2 changed files with 0 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

3
_includes/topnav.html
View file

@ -16,9 +16,6 @@
<li {% if page.sectionid=='howItWorks' %} class="nav-item active" {% else %} class="nav-item" {% endif %}>
<a class="nav-link" href='{{ "/overview" | prepend: site.baseurl }}'>Overview</a>
</li>
<li {% if page.sectionid=='history' %} class="nav-item active" {% else %} class="nav-item" {% endif %}>
<a class="nav-link" href="{{ '/history' | prepend: site.baseurl }}">History</a>
</li>
<li {% if page.sectionid=='implementors' %} class="nav-item active" {% else %} class="nav-item" {% endif %}>
<a class="nav-link" href="{{ sorted.first.url | prepend: site.baseurl }}">Implementations</a>
</li>

14
history.md
View file

@ -1,14 +0,0 @@
---
title: History
layout: singlePage
sectionid: history
---
## How the Language Server Protocol came to life
Implementing language support like auto complete, goto definition, or type hovering for a programming language for different development tools is a significant effort. Each development tool provides different APIs for language extenders. Moreover, an extension has to be implemented in the implementation language of the tool itself.
## Partnerships
## Press