- 15 Sep, 2021 3 commits
-
-
Marc Cornellà authored
This removes .gitignore plugin files and adds a force-rm of the old completion file, which ignores any errors if the file doesn't exist.
-
Marc Cornellà authored
Fixes #10183
-
Marc Cornellà authored
Fixes #10190
-
- 26 Apr, 2021 1 commit
-
-
Carlo Sala authored
-
- 25 Apr, 2021 1 commit
-
-
Carlo Sala authored
Co-authored-by:
Kapil Pau <kapilpau@hotmail.com>
Co-authored-by:
CallMeLaNN <CallMeLaNN@users.noreply.github.com>
-