diff man/anti.texi @ 73442:ef9abe853edb

** bojohan+mail@dd.chalmers.se, Oct 17: Formatting `interactive' strings. Fixed.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 19 Oct 2006 14:16:57 +0000
parents 80778fbed0d1
children abd25d5e5b63 858cb33ae39d
line wrap: on
line diff