[PATCH] docproc: drop unused utility

[Sascha Hauer]

On Wed, Nov 11, 2015 at 12:50:35PM +0300, Sergey Koshechkin wrote:
> Signed-off-by: Sergey Koshechkin <serge.koshechkin at gmail.com>
> ---
>  scripts/basic/.gitignore |   1 -
>  scripts/basic/Makefile   |   3 +-
>  scripts/basic/docproc.c  | 402 -----------------------------------------------
>  3 files changed, 1 insertion(+), 405 deletions(-)
>  delete mode 100644 scripts/basic/docproc.c

Applied, thanks

Sascha


-- 
Pengutronix e.K.                           |                             |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |
Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |