scripts: config: remove accidentally added file
authorÁlvaro Fernández Rojas <noltari@gmail.com>
Tue, 2 Jun 2020 16:17:31 +0000 (18:17 +0200)
committerÁlvaro Fernández Rojas <noltari@gmail.com>
Tue, 2 Jun 2020 16:17:31 +0000 (18:17 +0200)
commit3f8e163e0145419e88662a02717089e9582f33f6
tree70917bfa4971ddfd6edf8c281d5240baa3d8b4a0
parent392c64d8fdb5ae38813c009c439bad6f43e1a10b
scripts: config: remove accidentally added file

Also ignore the file.

Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
scripts/config/.gitignore
scripts/config/mconf_check [deleted file]