Marc Cornellà 30594886bf lib: delete PS1 default ...

A default PS1 doesn't make sense: the user will either choose a theme or not
care about a default prompt since they can set it themselves.

Fixes #7054

2019-04-08 23:01:55 +02:00

2.3 KiB

Raw Blame History

View Raw