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