From 8e3e38f91d4864f7b49fb732b4aea72d6cdef603 Mon Sep 17 00:00:00 2001
From: jaynus <jaynus@gmail.com>
Date: Thu, 7 May 2015 12:28:33 -0700
Subject: [PATCH] Nobin added to server build. Fixes #1043

---
 optionals/server/$NOBIN$ | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 optionals/server/$NOBIN$

diff --git a/optionals/server/$NOBIN$ b/optionals/server/$NOBIN$
new file mode 100644
index 0000000000..e69de29bb2