Rev 32 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 32 | Rev 5920 | ||
---|---|---|---|
Line 2... | Line 2... | ||
2 | <p> |
2 | <p> |
3 | A datafile is a plain text file whose content is split into a number of |
3 | A datafile is a plain text file whose content is split into a number of |
4 | records. Records are separated by tag strings $emph"\n:"$emphend (a new-line |
4 | records. Records are separated by tag strings $emph"\n:"$emphend (a new-line |
5 | character immediately followed by `:'). Lines before the first tag string |
5 | character immediately followed by `:'). Lines before the first tag string |
6 | are treated as comments. |
6 | are treated as comments. |
7 | 7 | </p> |