Template:File: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Template for typesetting a filename (in the tutorial or manual) |
(No difference)
|
Revision as of 09:56, 7 July 2008
Usage
Template use to specify a file name or file path: Hit 1 or 1.
1
