]> git.r.bdr.sh - rbdr/dotfiles/commitdiff
Merge branch 'main' of gitlab.com:rbdr/dotfiles
authorRuben Beltran del Rio <redacted>
Fri, 15 Apr 2022 09:09:03 +0000 (11:09 +0200)
committerRuben Beltran del Rio <redacted>
Fri, 15 Apr 2022 09:09:03 +0000 (11:09 +0200)

Trivial merge