scripts: config: remove accidentally added file

Also ignore the file. Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
2020-06-02 18:17:31 +02:00
parent 392c64d8fd
commit 3f8e163e01
2 changed files with 1 additions and 0 deletions
--- a/scripts/config/.gitignore
+++ b/scripts/config/.gitignore
@@ -3,6 +3,7 @@
 #
 *.moc
 *conf-cfg
+mconf_check

 #
 # configuration programs
--- a/scripts/config/mconf_check
+++ b/scripts/config/mconf_check