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

Trivial merge