2024-07-03 | Mart Lubbers | Merge branch 'master' of git.martlubbers.net:dotfiles | blob | commitdiff | raw |
2023-06-01 | Mart Lubbers | many small updates | blob | commitdiff | raw |
2021-03-22 | Mart Lubbers | dock and undock scripts | blob | commitdiff | raw | diff to current |