ajaxorg/cloud9 — pull request #2398 by sergi (2012-11-03 16:26:27+00:00)
Title: Removed acebugs plugin from the tree

Acebugs will become an external plugin: https://github.com/c9/hitlist

@ajaxorg/liskov @ajaxorg/dijkstra @ajaxorg/knuth