comparison zshrc-debian @ 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 2cc8820caae0
children
comparison
equal deleted inserted replaced
177:0eebd05e58ad 178:51710c7c26c2