Correct name of diff_flush() in API documentation
commita6f13ccf2460a7905e223cd40ff06631294a4189
authorDaniel Barkalow <barkalow@iabervon.org>
Thu, 28 Feb 2008 17:24:42 +0000 (28 12:24 -0500)
committerJunio C Hamano <gitster@pobox.com>
Thu, 28 Feb 2008 21:35:09 +0000 (28 13:35 -0800)
tree6871466681eab782ef121610551ddfef30e3e0af
parentb75bb1d695b0958d77b7894fa4a7dbc76167b65a
Correct name of diff_flush() in API documentation

Signed-off-by: Daniel Barkalow <barkalow@iabervon.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/technical/api-diff.txt