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