diff zshrc-xanthippe @ 178:51710c7c26c2

jdk 13 is superseeded by jdk 14, use the generic jdk 11 link
author Dirk Olmes <dirk.olmes@codedo.de>
date Tue, 21 Jul 2020 09:15:13 +0200
parents ebcb738274d1
children 0e22ae080bf1
line wrap: on
line diff