diff removeKernel @ 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 8af0a6219353
children 249b37a8c917
line wrap: on
line diff