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

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