Changes between Version 8 and Version 9 of doc/dev/getting-started


Ignore:
Timestamp:
Jan 5, 2013, 5:44:33 PM (10 years ago)
Author:
sam
Comment:

fix executable name

Legend:

Unmodified
Added
Removed
Modified