* doc/misc/url.texi (Disk Caching): Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 24 Sep 2010 02:38:11 +0000 (19:38 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 24 Sep 2010 02:38:11 +0000 (19:38 -0700)
commit18778f7168a737157b81265b69b6d5d024d7c5a1
treef692ee2d9a636aa216097c6aa61628316bb501ab
parent9c766321bf0c6b5c19d6f42f210cef57309d73bb
* doc/misc/url.texi (Disk Caching): Tweak previous change.
doc/misc/ChangeLog
doc/misc/url.texi