include igmpproxy in the manifest

Change-Id: Idc39e2f6e79eae1ded86701464d6ddd362bb1ed2
1 file changed
tree: 72c1f3446b9d1d4cf047eaf945b9b5b68a6871ad
  1. .gitreview
  2. Jenkinsfile
  3. default.xml
  4. manifest.dtd
  5. validate_manifest.sh