1. 25aee3d [media] Rename media/dvb as media/pci by Mauro Carvalho Chehab · 12 years ago[Renamed from drivers/media/dvb/mantis/mantis_ioc.h]
  2. 3037fd1 [media] Mantis: Rename gpio_set_bits to mantis_gpio_set_bits by Ben Hutchings · 14 years ago
  3. 8825a09 V4L/DVB (13812): [Mantis/Hopper] Update Copyright header by Manu Abraham · 15 years ago
  4. ad0ac43 V4L/DVB (13796): [Mantis] Add missing file in previous commit by Manu Abraham · 15 years ago