eduardo ervideira (blog)

about me

github

all posts

2023-09-26 window manager #1
2023-08-18 life lately and new "small" project
2023-05-15 window managers, widgets, decorations, etc
2023-03-16 first post

rss