?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'pv/doc-submodule-update-settings'
[git/debian.git] / server-info.h
blob13bbde2c55fafe7bf07eb38377cec2f109de3164
1 #ifndef SERVER_INFO_H
2 #define SERVER_INFO_H
3
4 /* Dumb servers support */
5 int update_server_info(int);
6
7 #endif /* SERVER_INFO_H */
git for Debian