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

Trivial merge