tree cc3121bc9cb203482a8c85085967db02a300883c
parent fa6581c90254fff2206f82c2111587eed30775bf
author cbrun <cedric.brun@obeo.fr> 1494855397 +0200
committer cbrun <cedric.brun@obeo.fr> 1494855397 +0200

[discovery] disable projects which are no longer part of Oxygen

or have been hidden for quite a few releases now.