diff zshrc-linux-gnu @ 161:4500455b2375

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