?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge tag 'gitgui-0.17.0' of git://repo.or.cz/git-gui
[git/jrn.git] / version.h
blob6911a4f1558de0c0d0b880a5b859925869a3e86e
1 #ifndef VERSION_H
2 #define VERSION_H
3
4 extern const char git_version_string[];
5
6 const char *git_user_agent(void);
7 const char *git_user_agent_sanitized(void);
8
9 #endif /* VERSION_H */
Jonathan Nieder’s miscellaneous git branches