From ddaedab835fa7ea3457f21a772d636921defdc46 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Fri, 12 Dec 2008 14:02:27 +0100
Subject: version 0.7.2

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

(limited to 'tools/niminst')

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