chiark / gitweb /
~mdw / profile / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dot/e16-bindings, bin/media-keys: Keybindings for media players.
[profile] / bin / hacks /
2017-08-13 Mark WoodingUse a proper makefile rather than the `setup' script. tree | commitdiff
Dotfiles and other configuration.