diff options
| -rw-r--r-- | tools/niminst | bin | 295720 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/niminst b/tools/niminst
deleted file mode 100644
index 188cb78b6..000000000
--- a/tools/niminst
+++ /dev/null
Binary files differ |