Suppress duplicat autoInstalls
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 21 Oct 2014 19:52:21 +0000 (21:52 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 21 Oct 2014 19:52:21 +0000 (21:52 +0200)
commit6d862f543aa8a687641aaab3c77aa141c33c0f8d
tree85951c485f34b25f877ac092a666c8fbde59a8e4
parentba019e81ec80db307f6a4e1fcd07f4fe259766b4
Suppress duplicat autoInstalls

If the engine line constructed for -autoInstall already occurs in
the engine list, we should not install it again.
menus.c