mirror of
https://github.com/powerline/powerline.git
synced 2025-10-23 00:24:12 +02:00
Reason: this way I have anything I want in one click. Less precise toctree is in any case present in the side bar.
Reason: this way I have anything I want in one click. Less precise toctree is in any case present in the side bar.