mirror of
https://github.com/joshuadavidthomas/django-language-server.git
synced 2025-07-07 20:55:02 +00:00
shorten the repo name
damn my long gh username
This commit is contained in:
parent
a934a172dc
commit
3e41e96ffc
1 changed files with 1 additions and 1 deletions
|
@ -20,7 +20,7 @@ markdown_extensions:
|
|||
custom_checkbox: true
|
||||
plugins:
|
||||
- search
|
||||
repo_name: joshuadavidthomas/django-language-server
|
||||
repo_name: django-language-server
|
||||
repo_url: https://github.com/joshuadavidthomas/django-language-server
|
||||
site_author: joshuadavidthomas
|
||||
site_name: Django Language Server
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue