Free element of argv.
Free element of argv.

Mon Jun  8 22:49:28 1998  Tom Tromey  <tromey@cygnus.com>

	* libgnome/gnome-exec.c (gnome_execute_shell): Free element of
	argv.

Distrotech/libgnome,Distrotech/libgnome,Distrotech/libgnome