From f8d357a8ecb27c9ac5c539de93070f65ada7179b Mon Sep 17 00:00:00 2001
From: John Kerl <kerl.john.r@gmail.com>
Date: Mon, 17 Apr 2017 09:09:27 -0700
Subject: [PATCH] neaten

---
 .gitignore | 7 +++++++
 c/run_mlr  | 4 ----
 2 files changed, 7 insertions(+), 4 deletions(-)
 delete mode 100755 c/run_mlr

diff --git a/.gitignore b/.gitignore
index d067e42ca..7c760305e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -78,3 +78,10 @@ getl
 lemon_prepared
 lrim
 mlr-[0-9.]*.tar.*
+c/jkopush
+c/run_mlr
+c/mlr_expect_fail
+c/push2f
+data/.gitignore
+doc/jkopush
+doc/push2
diff --git a/c/run_mlr b/c/run_mlr
deleted file mode 100755
index bf6775f43..000000000
--- a/c/run_mlr
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-echo ""
-echo '#' mlr "$@"
-mlr "$@"