Changes between Version 55 and Version 56 of ProjectOptions


Ignore:
Timestamp:
Feb 29, 2008, 8:47:45 AM (13 years ago)
Author:
Nicolas
Comment:

add a missing anchor

Legend:

Unmodified
Added
Removed
Modified
  • ProjectOptions

    v55 v56  
    241241   (which contains records of when the client started and stopped running).
    242242
    243 == Hosts, directories, and URLs ==
     243== Hosts, directories, and URLs == #dirs
    244244
    245245(These are created by [MakeProject make_project]; normally you don't need to change them.)