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