[ Top ] [ Generics ]
NAME
options.tin -- Main user-configurable hooks
SYNOPSIS
Set user preferences here.