manifest: Jenkins is dead

* We use Gitlab builds now.
* Jenkins references now removed from the Wiki.

Change-Id: Iaf8b7ce8e266096cf2178ec75aac6a19c87035e6
1 file changed
tree: 19845f78310c912e041ee55f0434780e3d008db8
  1. snippets/
  2. default.xml
  3. README.mkdn