comparison zshrc-epm @ 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 279d1363e918
children
comparison
equal deleted inserted replaced
177:0eebd05e58ad 178:51710c7c26c2