diff options
| author | John MacFarlane <[email protected]> | 2022-01-07 11:33:48 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-01-07 11:49:57 -0800 |
| commit | ee1fdc17d9e10d6ad3c45a72b4febb7a99cc04c9 (patch) | |
| tree | fb92eb7853a6e706847e61242a7789df2b2c6edd /tools | |
| parent | 45e2e0d018b01e5a232d0a559dc9832af207ebcb (diff) | |
More gitignore tweaks.
The old system didn't work with projectile.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions