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}}}

Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:File&oldid=12837’