diff zshrc-jdk @ 181:f6df36a328b5

also replace the git config
author Dirk Olmes <dirk.olmes@codedo.de>
date Tue, 04 Aug 2020 11:22:16 +0200
parents 51710c7c26c2
children
line wrap: on
line diff