diff zshrc-linux-gnu @ 177:0eebd05e58ad

add an alias for 'pull -u'
author Dirk Olmes <dirk.olmes@codedo.de>
date Fri, 12 Jun 2020 02:48:48 +0200
parents 2cc8820caae0
children
line wrap: on
line diff