diff zshrc-jdk @ 191:c41517fedf83 default tip

Funktion zum setzen des Terminal Title
author Dirk Olmes <dirk.olmes@codedo.de>
date Fri, 20 Jun 2025 08:28:06 +0200
parents 51710c7c26c2
children
line wrap: on
line diff