From 44a874e3a43f88c6798c9eef3dad0bb4ad9ab97e Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Thu, 14 May 2009 01:49:55 +0200
Subject: some binaries removed

---
 tools/niminst | Bin 295720 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 tools/niminst

diff --git a/tools/niminst b/tools/niminst
deleted file mode 100644
index 188cb78b6..000000000
Binary files a/tools/niminst and /dev/null differ
-- 
cgit 1.4.1-2-gfad0