shell: Remove unused pointer_end_grab
authorTiago Vignatti <tiago.vignatti@intel.com>
Fri, 20 Jul 2012 16:41:13 +0000 (19:41 +0300)
committerKristian Høgsberg <krh@bitplanet.net>
Fri, 20 Jul 2012 19:31:52 +0000 (15:31 -0400)
commit65191d144ff86ddcc7da6aeea386baaeb63ae530
tree08d0ea6fe62ce06373557b359463a1ebcb265b81
parent9134b77f2c5fd38c95394f4dd8ec3e3823acecf2
shell: Remove unused pointer_end_grab

shell_grab_end already does that for us.

Signed-off-by: Tiago Vignatti <tiago.vignatti@intel.com>
src/shell.c