From c7019bf527a6383293c9dc43be7d0e1fb21b2989 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Thu, 16 May 2002 08:24:37 +0000
Subject: [PATCH] defs-orig.mk: Nothing substantial

---
 make/defs-orig.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make/defs-orig.mk b/make/defs-orig.mk
index 15719581..61146644 100644
--- a/make/defs-orig.mk
+++ b/make/defs-orig.mk
@@ -24,6 +24,7 @@ DIST_WINVERSION        = $(shell echo $(WINVERSION) | sed -e "s/-dev//")
 LOCAL_DIST_VERSION     = $(shell echo $(LOCAL_VERSION) | sed -e "s/-dev//")
 LOCAL_DIST_WINVERSION  = $(shell echo $(LOCAL_WINVERSION) | sed -e "s/-dev//")
 DEVELOPMENT            = $(shell cat $(TOPDIR)/VERSION | grep 'dev' >/dev/null && echo true)
+
 ifeq ($(DEVELOPMENT),true)
 	include $(TOPDIR)/make/cfg_dev.mk
 else