Merge branch 'maint' of git://github.com/git-l10n/git-po into maint
[gitweb.git] / compat / poll /
drwxr-xr-x   parent (dest: compat; base: 1b5ffa36cb02103057e5de8de8bf86419bc5502f)
-rw-r--r-- 15762 poll.c
-rw-r--r-- 1959 poll.h