diff zshrc-jdk @ 161:4500455b2375

Adjust filenames to the old pattern
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 07 Jan 2020 15:27:52 +0100 (2020-01-07)
parents 2f71ba394858
children 6dd02b1ebb80
line wrap: on
line diff