search

pep-dortmund / homepage-toolbox

Website for the PeP et al. Toolbox Workshop at TU Dortmund
http://toolbox.pep-dortmund.org
3 stars 1 forks source link

Windows Terminal Default #131

Closed chrbeckm closed 3 years ago

chrbeckm commented 3 years ago

Default profile can be choosen in Settings via Dropdown list