diff configure @ 95950:458bb3147a5c

(manual): Use "23" rather than "21".
author Glenn Morris <rgm@gnu.org>
date Sun, 15 Jun 2008 02:58:47 +0000
parents 0f9033e19d18
children ac3d7f9c33d5
line wrap: on
line diff