Marek Paulik eda09583b5 Change zsh theme ...

Custom theme is very minimal and has little info about your whereabouts
on the server. "bira" theme set as default.

Custom theme wasn't removed, just commented-out.

2026-06-05 11:33:51 +02:00

662 B

Raw Permalink Blame History

View Raw