Merge commit '7228618'

powerline configuration moved to config_files repo
2023-04-02 08:09:03 +02:00 · 2023-04-02 08:07:07 +02:00
2 changed files with 0 additions and 0 deletions
--- a/available/powerline.tgz
+++ b/available/powerline.tgz
--- a/available/powerline_ubuntu.tgz
+++ b/available/powerline_ubuntu.tgz
Author	SHA1	Message	Date
Dirk Alders	af6d349e75	Merge commit '7228618'	2023-04-02 08:09:03 +02:00
Dirk Alders	2666fda5ea	powerline configuration moved to config_files repo	2023-04-02 08:07:07 +02:00