haschu/waylean.git/.gitignore, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/.gitignore?h=main 2026-02-10T16:05:11Z initial commit 2026-02-10T16:05:11Z Hannes Schulze haschu0103@outlook.de 2026-02-10T16:05:11Z urn:sha1:44796b1b1493a67dcdfec8f9846dce14e7ecf4a4