phalcon/phalcon-devtools — pull request #87 by tofan-andrei (2013-06-14 14:07:25+00:00)
Title: fix path to phalcon.php

fix path to phalcon.php when current dir is not in devtools dir