* url.texi: Remove duplicate @dircategory (Bug#7942).
authorUlrich Mueller <ulm@gentoo.org>
Sat, 12 Feb 2011 22:06:22 +0000 (17:06 -0500)
committerChong Yidong <cyd@stupidchicken.com>
Sat, 12 Feb 2011 22:06:22 +0000 (17:06 -0500)
commit43aa28e2a2d2970177fda44b1c269524df756a33
tree99168e033e944ab16ac88083363bcaadd27b4641
parent20fac86e2e61bf25c1f2c6e6c1cac27b994a5346
* url.texi: Remove duplicate @dircategory (Bug#7942).
doc/misc/ChangeLog
doc/misc/url.texi