Minor url.texi update.
authorJulien Danjou <julien@danjou.info>
Fri, 24 Sep 2010 02:34:56 +0000 (19:34 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 24 Sep 2010 02:34:56 +0000 (19:34 -0700)
commit9c766321bf0c6b5c19d6f42f210cef57309d73bb
tree195d76b141160ac271bb67db88bfbeebbcdbab0e
parent0a9f9d066073c4361413e5f22ba445640adb2413
Minor url.texi update.

* doc/misc/url.texi (Disk Caching): Mention url-cache-expire-time,
url-cache-expired, and url-fetch-from-cache.
doc/misc/ChangeLog
doc/misc/url.texi