josh/django-language-server
1
0
Fork 0
mirror of https://github.com/joshuadavidthomas/django-language-server.git synced 2025-09-10 20:36:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

add repo name

Browse source
This commit is contained in:
Josh Thomas 2025-01-03 09:28:19 -06:00
parent a2b715999e
commit a934a172dc
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.mkdocs.yml
View file

@ -20,6 +20,7 @@ markdown_extensions:
custom_checkbox: true custom_checkbox: true
plugins: plugins:
- search - search
repo_name: joshuadavidthomas/django-language-server
repo_url: https://github.com/joshuadavidthomas/django-language-server repo_url: https://github.com/joshuadavidthomas/django-language-server
site_author: joshuadavidthomas site_author: joshuadavidthomas
site_name: Django Language Server site_name: Django Language Server