From: Simon Ruderich Date: Sat, 2 Jun 2018 11:44:06 +0000 (+0200) Subject: Merge branch 'misc' X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=c0ae7152026890b30acaa87498e3950b2ad1164e;p=config%2Fdotfiles.git Merge branch 'misc' --- c0ae7152026890b30acaa87498e3950b2ad1164e