diff Makefile @ 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 c6843e5bf166
children 89c6bf8bea6b
line wrap: on
line diff