diff libmenu/menu_list.c @ 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 9e627a1793b1
children
line wrap: on
line diff