Changes between Version 31 and Version 32 of ProjectOptions


Ignore:
Timestamp:
Jul 16, 2007, 4:36:55 PM (13 years ago)
Author:
Nicolas
Comment:

Link to MakeProject

Legend:

Unmodified
Added
Removed
Modified
  • ProjectOptions

    v31 v32  
    203203== Hosts, directories, and URLs ==
    204204
    205 (These are created by make_project; normally you don't need to change them.)
     205(These are created by [MakeProject make_project]; normally you don't need to change them.)
    206206{{{
    207207<master_url>            URL                   </master_url>