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/?p=config%2Fdotfiles.git;a=commitdiff_plain;h=c0ae7152026890b30acaa87498e3950b2ad1164e Merge branch 'misc' --- c0ae7152026890b30acaa87498e3950b2ad1164e