diff configure @ 105013:d70aa2d7f8a0

(Terminal Output): Put "@code{}" around "stdout".
author Alan Mackenzie <acm@muc.de>
date Mon, 14 Sep 2009 09:46:03 +0000
parents b54f03a2c09a
children fe2a0bec5d65
line wrap: on
line diff