r10585: rename to more closely align with src filename

[uffi.git] / doc / html.tar.gz

diff --git a/doc/html.tar.gz b/doc/html.tar.gz
index 91f3f2b2303b005a470fdb4152f037c3adf63640..357a15f469d79ec6444eb8d56991f546fba7436e 100644 (file)
Binary files a/doc/html.tar.gz and b/doc/html.tar.gz differ