Template:Key
From Event-B
Revision as of 11:11, 10 July 2008 by imported>Mathieu (use div class to help postprocessing)
Usage
Template use to specify a key stroke.
Example
Hit
F5
.
Template
{{{1}}}
Template use to specify a key stroke.
Hit
.