Template:File: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m correction
imported>Mathieu
m use div class to help postprocessing
Line 1: Line 1:
<noinclude>
<noinclude>
==Usage==
==Usage==
Template use to specify a file name or file path:
Template use to specify a file name or file path.
==Example==
dowload {{file|project.zip}} and put it in {{file|/home/user/workspace}}.
dowload {{file|project.zip}} and put it in {{file|/home/user/workspace}}.
[[Category:Typesetting template]]
[[Category:Typesetting template]]
==Template==
</noinclude>
</noinclude>
<small><tt>{{{1}}}</tt></small>
<div class="typeset-file" style="display:inline;"><small><tt>{{{1}}}</tt></small></div>

Revision as of 11:10, 10 July 2008

Usage

Template use to specify a file name or file path.

Example

dowload

project.zip

and put it in

/home/user/workspace

.

Template

{{{1}}}