Variable: `majutsu-revision-selection-option`

majutsu-revision-selection-option is a variable without a source file.

This variable is obsolete since 25.1; use 'majutsu-revision-selection-option instead

Value

majutsu-revision-selection-option

Selection option for JJ revisions and their visible revision sections.