Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/pool.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-25 14:30:24 +0200
committerErich Eckner <git@eckner.net>2019-07-25 14:30:24 +0200
commitc89681bb369d9ec000efbdd1f68b640418d7ba30 (patch)
tree88f4b700a58dc5fc4e2a48ad744b880d2a73f665 /pool.php
parentbe0e7c8498c3f065c9dbdc1300b84d41b2aa6739 (diff)
.gitignore user-agent-log, too
Diffstat (limited to 'pool.php')
0 files changed, 0 insertions, 0 deletions