diff PLUGIN_HOWTO @ 18312:adcb44a07a2d

This is a more flexible way of getting random settings from .gntrc.
author Sadrul Habib Chowdhury <imadil@gmail.com>
date Wed, 27 Jun 2007 18:21:02 +0000
parents 83ec0b408926
children db5a58aabe38
line wrap: on
line diff