diff dot_bashrc @ 343:01f52891b497

Use F12 to toggle terminal
author zegervdv <zegervdv@me.com>
date Fri, 29 Jan 2021 18:05:45 +0100
parents 205d82eb93b4
children 7838713fd3b4
line wrap: on
line diff