diff options
author | cos <cos> | 2023-06-06 11:30:05 +0200 |
---|---|---|
committer | cos <cos> | 2023-06-06 11:31:49 +0200 |
commit | b3de5d17796f25fefba941f520227910184646da (patch) | |
tree | 16f7a88b12dda2e63770b1f3f0768e65075dc532 /.github | |
parent | 7021ed0c6859ec8b1bf5012d1276d54a786449c3 (diff) | |
download | ale-b3de5d17796f25fefba941f520227910184646da.zip |
Clean-up copy'n'paste error?
It is unclear what the true origin of the removed line is, but:
```sh
git log --patch --all | grep run_vim.sh
```
tells the referenced file has never existed in this repository.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions