ghidra: Prevent lock file creation in with-extensions directory (#415412)
authored by Peder Bergebakken Sundt and committed by GitHub 9 months ago 839a0981 ffd3eb60