ajaxorg/cloud9 — pull request #1334 by mikedeboer (2012-04-20 11:17:13+00:00)
Title: fixed ID clash in searchinfiles plugin

@fjakobs @zefhemel