language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-09-30 22:01:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5
slint/docs/language
History
Simon Hausmann 8badc9fddb doc: Remove non-existent index for the slint language docs 
Sadly an index is not generated for us with myst-parser :(
2023-02-23 11:48:35 +01:00
..
_static docs: Move slint language docs from langref to language folder 2023-02-22 21:13:47 +01:00
_templates docs: Move slint language docs from langref to language folder 2023-02-22 21:13:47 +01:00
src doc: Don't repeat the section title in the sub-section title 2023-02-23 11:48:35 +01:00
.gitignore docs: Move slint language docs from langref to language folder 2023-02-22 21:13:47 +01:00
conf.py Sync the book "title" with the new title we use 2023-02-23 11:48:35 +01:00
index.rst Move purity to the end of concepts 2023-02-23 11:48:35 +01:00
Pipfile docs: Move slint language docs from langref to language folder 2023-02-22 21:13:47 +01:00