diff options
author | Ashton Wiersdorf <mail@wiersdorf.dev> | 2023-03-21 11:43:17 -0600 |
---|---|---|
committer | Ashton Wiersdorf <mail@wiersdorf.dev> | 2023-03-21 11:43:17 -0600 |
commit | c0f40005ba5890f82212deedfe81af9bb53c26af (patch) | |
tree | f92950fc3c1f889e2b04d5848970e35607b9cbfa /.gitignore | |
parent | fe99f00683ab087748be5c89f3cca4523bfbf536 (diff) |
Rename mixins/ui.el → mixins/base.el; add some researcher config
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions