Template:File

From Event-B
Revision as of 09:57, 7 July 2008 by imported>Mathieu (correction)
Jump to navigationJump to search

Usage

Template use to specify a file name or file path: dowload project.zip and put it in /home/user/workspace.

{{{1}}}