phalcon/phalcon-devtools — pull request #189 by ogarbe (2014-03-19 15:00:36+00:00)
Title: Remove unused stubs

As this devtools is for 1.2.x phalcon branch, remove all old stubs