Merge branch 'js/commit-gpgsign' of ../git-gui into js/git-gui-commit-gpgsign
[gitweb.git] / compat / poll /
drwxr-xr-x   parent (dest: compat; base: f14a310e8b665d0f1ac8cd91db3b101873a9bc5e)
-rw-r--r-- 15773 poll.c
-rw-r--r-- 1959 poll.h