diff options
| author | Josh Rahm <rahm@google.com> | 2025-03-19 11:29:21 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2025-03-19 11:29:21 -0600 |
| commit | 00a4a74040b0e75bcd97b35bf979d77d94ba42e3 (patch) | |
| tree | 955ef22731b62ee72d75e8be25452f565f36034f /.gitignore | |
| parent | eaaeb8e37037a612cf9f078919004c5910eb2e5f (diff) | |
| download | rde-00a4a74040b0e75bcd97b35bf979d77d94ba42e3.tar.gz rde-00a4a74040b0e75bcd97b35bf979d77d94ba42e3.tar.bz2 rde-00a4a74040b0e75bcd97b35bf979d77d94ba42e3.zip | |
Add a mechanism for local key bindings.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2,3 +2,4 @@ *.cabal *.lock build/* +src/Rahm/Desktop/Keys/Local.hs |