diff options
author | William Carroll <wpcarro@gmail.com> | 2022-01-28T06·15-0800 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-01-28T23·42+0000 |
commit | cdc18c025a519c23fa4dd9e14781349fcdf4035f (patch) | |
tree | b425be89cc1c2fac0ce96eb98de6c13ef657d2c0 /users/zseri/.gitignore | |
parent | 45da3bce86faec9d21c2e38df325635f5df3d94e (diff) |
refactor(wpcarro/emacs): Drop support for vendor directory r/3698
I don't think this is worth lugging around anymore. Additionally: drop usage of `builtins.path`. I originally started using `builtins.path` because a blog post about Nix style recommended it (I cannot remember which), but I'm starting to think this is a bit too verbose for my taste, and I forget what the benefits are. Change-Id: If6579f28bac56ad7afec2c5d5a5e4828601c93c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5083 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
Diffstat (limited to 'users/zseri/.gitignore')
0 files changed, 0 insertions, 0 deletions