mirror of
https://github.com/powerline/powerline.git
synced 2025-07-02 19:44:55 +02:00
It was replaced with `"width": "auto"` and is not used anywhere. I do not even know whether it works.
It was replaced with `"width": "auto"` and is not used anywhere. I do not even know whether it works.