]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cea59a7) | patch
fix type
authorMichael Wallner <mike@php.net>
Wed, 27 Nov 2013 11:19:32 +0000 (12:19 +0100)
committerMichael Wallner <mike@php.net>
Mon, 30 Dec 2013 13:28:43 +0000 (14:28 +0100)
commit7762de4022f3581ba6b8cc9357687afde3af1d1f
tree5ae48e73a96cf2b61b6982bb3a83bbd293d50f03tree | snapshot
parentcea59a74a7993f4ce95da9526f4d9c9cf6423555commit | diff
fix type
main/php_globals.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.