mirror of
https://github.com/powerline/powerline.git
synced 2025-07-23 13:55:45 +02:00
Include tips-and-tricks for developers into develop.rst toctree
This commit is contained in:
parent
51e778cd41
commit
4bcb0e154f
@ -10,3 +10,4 @@ Developer guide
|
||||
develop/listers
|
||||
develop/local-themes
|
||||
develop/extensions
|
||||
develop/tips-and-tricks
|
||||
|
Loading…
x
Reference in New Issue
Block a user