Difference between revisions of "Template:File"
From Event-B
Jump to navigationJump to searchimported>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}}}