Template:Key: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Template for typesetting a keystroke (in the tutorial or manual) |
(No difference)
|
Revision as of 09:51, 7 July 2008
Usage
Template use to specify a key stroke: Hit F5.
{{{1}}}
