Template:File: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m supress preceding cariage return
imported>Laurent
m Add proper usage
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
<noinclude>
<noinclude>
==Usage==
==Usage==
Template use to specify a file name or file path.
Used for specifying a file name or file path.
 
<nowiki>{{file|project.zip}}</nowiki> or <nowiki>{{file|/home/user/workspace}}</nowiki>
==Example==
==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 templates]]
==Template==
==Template==
</noinclude><!--
</noinclude><!--
--><div class="typeset-file" style="display:inline;"><small><tt>{{{1}}}</tt></small></div>
--><div class="typeset-file" style="display:inline;"><small><tt>{{{1}}}</tt></small></div>

Latest revision as of 14:04, 15 December 2012

Usage

Used for specifying a file name or file path.

{{file|project.zip}} or {{file|/home/user/workspace}}

Example

dowload

project.zip

and put it in

/home/user/workspace

.

Template

{{{1}}}