Merge pull request #963 from goldshtn/utools-php
author4ast <alexei.starovoitov@gmail.com>
Mon, 13 Feb 2017 15:58:06 +0000 (07:58 -0800)
committerGitHub <noreply@github.com>
Mon, 13 Feb 2017 15:58:06 +0000 (07:58 -0800)
commit6e1fac411707fc1fdb050019fc2f675b0ba361b3
tree5634ef5d80aae8f525ea3c4adffaee012f4415c3
parent0ea2ffa71fd7fe12f9483ad359f6c0b1fd566481
parentcfb5ee7ce00695392dddeff5b22ab1b031e8f373
Merge pull request #963 from goldshtn/utools-php

u* tools: PHP support