comparison etc/DEBUG @ 97144:3e9c34bd95b3

* os.texi: Fix previous change.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 31 Jul 2008 10:04:21 +0000
parents cbf5528cf447
children 9c8d02adc5c4
comparison
equal deleted inserted replaced
97143:079da07ab192 97144:3e9c34bd95b3