use separate skip dir
authorMichael Wallner <mike@php.net>
Fri, 1 Apr 2016 14:12:40 +0000 (16:12 +0200)
committerMichael Wallner <mike@php.net>
Fri, 1 Apr 2016 14:27:17 +0000 (16:27 +0200)
commit920838364f437f686b2de6e210ad846f85a67128
tree1305c58ecb81b344e212e26d129cb43f9a536d23
parent65795e9c1955c5c0fab6da44501cf55982a9c67c
use separate skip dir
.gitignore
bin/pecl
public/mirror.php [deleted file]
skip/.gitkeep [new file with mode: 0644]