]> git.r.bdr.sh - rbdr/dotfiles/commitdiff
Merge branch 'main' of git.sr.ht:~rbdr/dotfiles
authorRuben Beltran del Rio <redacted>
Tue, 18 Jul 2023 19:25:36 +0000 (21:25 +0200)
committerRuben Beltran del Rio <redacted>
Tue, 18 Jul 2023 19:25:36 +0000 (21:25 +0200)

Trivial merge