?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'jc/maint-reset-remove-unmerged-new' into maint
[git/vmiklos.git] / thread-utils.h
blobcce4b77bd6452e2ec589d8c0dc0e8156352dd67b
1 #ifndef THREAD_COMPAT_H
2 #define THREAD_COMPAT_H
3
4 extern int online_cpus(void);
5
6 #endif /* THREAD_COMPAT_H */
Miklos' Git tree to make git-merge a builtin.