John D Pell d9b29b3409 themes: use `_bash_it_history_auto_save()` ... First pass to use _Bash It_'s automatic history management.		2022-02-08 16:59:40 -08:00
..
font.theme.bash	themes: use `_bash_it_history_auto_save()`	2022-02-08 16:59:40 -08:00