push: point to 'git pull' and 'git push --force' in case of non-fast forward
[gitweb.git] / string-list.h
2008-07-24 Merge branch 'maint' into ph/checkout
2008-07-22 Rename path_list to string_list