]> ruderich.org/simon Gitweb - config/dotfiles.git/commitdiff
Merge branch 'shell'
authorSimon Ruderich <simon@ruderich.org>
Sat, 2 Jun 2018 11:27:07 +0000 (13:27 +0200)
committerSimon Ruderich <simon@ruderich.org>
Sat, 2 Jun 2018 11:27:07 +0000 (13:27 +0200)

Trivial merge