diff zshrc-linux-gnu @ 112:68edc97253fa

fix the path to grub.cfg
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 07 Dec 2016 10:08:42 +0100
parents fa52868da3d4
children 2cc8820caae0
line wrap: on
line diff