Merge branch 'jb/diff-no-index-no-abbrev'
[gitweb.git] / compat / poll /
drwxr-xr-x   parent (dest: compat; base: c89606fa9043910c5f467eb0d152df1c463710be)
-rw-r--r-- 15773 poll.c
-rw-r--r-- 1959 poll.h