diff LICENSE @ 36492:65eb5c78f4fe

Record GUI option 'idle' in the man page. This is missing is r33565.
author ib
date Fri, 17 Jan 2014 15:38:37 +0000
parents dd7f15a3fb1b
children
line wrap: on
line diff