From 0c42aa6bcfb38fcaf114a1ab9d7be5c75ff6a657 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Fri, 7 Dec 2018 17:15:20 +0100 Subject: [PATCH] Ignore and remove *.plugin compiled files MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Added by mistake previously — link to a built file under _build. Should not be there and prevents compilation. --- .gitignore | 1 + dwarfsynth.plugin | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 120000 dwarfsynth.plugin diff --git a/.gitignore b/.gitignore index 193bdce..c5fb759 100644 --- a/.gitignore +++ b/.gitignore @@ -20,3 +20,4 @@ _build/ setup.data setup.log +*.plugin diff --git a/dwarfsynth.plugin b/dwarfsynth.plugin deleted file mode 120000 index 617dc05..0000000 --- a/dwarfsynth.plugin +++ /dev/null @@ -1 +0,0 @@ -/home/tobast/cours/internship/src/dwarf-synthesis/_build/dwarfsynth.plugin \ No newline at end of file