[devel] Deleted no longer used file scripts/def.dfn
diff --git a/scripts/def.dfn b/scripts/def.dfn
deleted file mode 100644
index e69de29..0000000
--- a/scripts/def.dfn
+++ /dev/null