Minor web nit
commit34705d0e411aa28c8a83ca521bd7c5107a37ffd7
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 21 Mar 2011 11:27:53 +0000 (21 12:27 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 21 Mar 2011 11:27:53 +0000 (21 12:27 +0100)
tree89b5c0fe7e2d2e3381b7511cb695a27809147e64
parentcb6f671ed83d38a7e1e41b03d4beec2a90f4551d
Minor web nit
doc/web.texi