# HG changeset patch # User "Yann E. MORIN" # Date 1176313418 0 # Node ID fbdc53e2ee3e4e05196f64676ed6b0c13e9007af # Parent 24f1e56e89a094421fb398b46fa140989ce6b194 Change suggested by Robert P. J. DAY to rename the "Kernel to use" prompt with "Target OS". diff -r 24f1e56e89a0 -r fbdc53e2ee3e config/kernel.in --- a/config/kernel.in Tue Apr 10 16:19:53 2007 +0000 +++ b/config/kernel.in Wed Apr 11 17:43:38 2007 +0000 @@ -4,7 +4,7 @@ choice bool - prompt "\"Kernel\" to use:" + prompt "Target OS" default KERNEL_LINUX config KERNEL_LINUX