Marco Pivetta 72750b05e6 Using PHP_VERSION_ID instead of version_compare to see if we're using PHP 5.4+		2014-05-31 13:37:39 +02:00
..
Doctrine/ORM	Using PHP_VERSION_ID instead of version_compare to see if we're using PHP 5.4+	2014-05-31 13:37:39 +02:00
vendor	Removing submodules as of doctrine/doctrine2#570	2013-02-15 18:33:29 +01:00