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

Trivial merge