]> git.r.bdr.sh - rbdr/dotfiles/commitdiff
Merge branch 'main' of git.sr.ht:~rbdr/dotfiles
authorRuben Beltran del Rio <redacted>
Fri, 9 Dec 2022 22:50:45 +0000 (23:50 +0100)
committerRuben Beltran del Rio <redacted>
Fri, 9 Dec 2022 22:50:45 +0000 (23:50 +0100)

Trivial merge