Commit Graph

2 Commits

Author SHA1 Message Date
3db17f9849 Update 2025-07-31 08:57:16 +02:00
82226b4f78 Add lean snippets and do Neovide 2025-07-08 19:59:46 +02:00