diff man/basic.texi @ 50418:b2939c93b5f7

Fix previous change.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 03 Apr 2003 15:49:40 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff