diff zshrc-epm @ 189:eda84ea0cd35

grub-mkconfig wieder einkommentieren
author Dirk Olmes <dirk.olmes@codedo.de>
date Fri, 20 Jun 2025 08:20:32 +0200
parents 279d1363e918
children
line wrap: on
line diff