]> granicus.if.org Git - php/commitdiff
projects / php / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 82f0b93 07d2272)
Merge pull request #104 from andytson/feature/rpm-build-fix
authorBob Weinand <bobwei9@hotmail.com>
Sat, 5 Jul 2014 23:16:03 +0000 (01:16 +0200)
committerBob Weinand <bobwei9@hotmail.com>
Sat, 5 Jul 2014 23:16:03 +0000 (01:16 +0200)
Fix phpdbg.1 man page installation when build != src directory


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.