diff PLUGIN_HOWTO @ 24884:b2f8b1e1e7cc

Remove unused option, thanks to KuSh. Closes #7856.
author Sadrul Habib Chowdhury <imadil@gmail.com>
date Thu, 01 Jan 2009 01:04:34 +0000
parents 83ec0b408926
children db5a58aabe38
line wrap: on
line diff