| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | river-input-management-v1.xml | 9489 | logplain |
| -rw-r--r-- | river-layer-shell-v1.xml | 8670 | logplain |
| -rw-r--r-- | river-libinput-config-v1.xml | 33083 | logplain |
| -rw-r--r-- | river-window-management-v1.xml | 82630 | logplain |
| -rw-r--r-- | river-xkb-bindings-v1.xml | 12251 | logplain |
| -rw-r--r-- | river-xkb-config-v1.xml | 10766 | logplain |
| -rw-r--r-- | wayland.xml | 151930 | logplain |
 |
index : haschu/waylean.git | |
| [WIP] A River window manager implemented in Lean 4. | Git Repositories |
| summaryrefslogtreecommitdiff |