John D Pell 736bdfc5b5 theme/powerline-base: clean up `user_info` segment		2022-03-04 14:50:04 -08:00
..
powerline.base.bash	theme/powerline-base: clean up `user_info` segment	2022-03-04 14:50:04 -08:00
powerline.theme.bash	Delete `.shellcheckrc` (#1947)	2021-09-18 12:50:59 +03:00