diff removeKernel @ 181:f6df36a328b5

also replace the git config
author Dirk Olmes <dirk.olmes@codedo.de>
date Tue, 04 Aug 2020 11:22:16 +0200
parents 8af0a6219353
children 249b37a8c917
line wrap: on
line diff