diff gui/interface.h @ 36603:ac9e4bb41a5b

Revise the man page after r36697 and r36698.
author ib
date Wed, 22 Jan 2014 19:27:47 +0000
parents ed153683310d
children f8d0a552f7a5
line wrap: on
line diff