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) |
imported>Mathieu m correction |
||
| Line 2: | Line 2: | ||
==Usage== | ==Usage== | ||
Template use to specify a file name or file path: | Template use to specify a file name or file path: | ||
dowload {{file|project.zip}} and put it in {{file|/home/user/workspace}}. | |||
[[Category:Typesetting template]] | [[Category:Typesetting template]] | ||
</noinclude> | </noinclude> | ||
<small><tt>1</tt></small> | <small><tt>{{{1}}}</tt></small> | ||
Revision as of 09:57, 7 July 2008
Usage
Template use to specify a file name or file path: dowload project.zip and put it in /home/user/workspace.
{{{1}}}
