diff options
author | William Carroll <wpcarro@gmail.com> | 2020-08-31T16·05+0100 |
---|---|---|
committer | William Carroll <wpcarro@gmail.com> | 2020-08-31T16·08+0100 |
commit | ff8277625f43c1354b63333090f72c277c1f43f8 (patch) | |
tree | 901594d4fee2031477ae7821f5bc9ef40474232a /.gitsecret | |
parent | 5d3bb0b7eadc9efc423eb7ef8857fa6df256d254 (diff) |
Lint prelude.el
This was a doozey because I use it everywhere. Is there a better way to globally rename things? Aye aye aye... computers, man!
Diffstat (limited to '.gitsecret')
0 files changed, 0 insertions, 0 deletions