josh/django-language-server
1
0
Fork 0
mirror of https://github.com/joshuadavidthomas/django-language-server.git synced 2025-12-23 08:47:53 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge 5c09dde74e into 0d816ea0dc

Browse source
This commit is contained in:
Josh Thomas 2025-05-01 11:11:23 +02:00 • committed by GitHub
commit 4a5f8d6898
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
editors/zed/extension.toml Normal file
View file

@ -0,0 +1,11 @@
id = "django-language-server"
name = "Django Language Server"
version = "5.1.0-alpha.2"
schema_version = 1
authors = ["Josh Thomas <josh@joshthomas.dev>"]
description = "A Zed extension for the Zed editor"
repository = "https://github.com/joshuadavidthomas/django-language-server"
[language_servers.htmldjango]
name = "Django Language Server"
languages = ["htmldjango"]