equal
deleted
inserted
replaced
23 |
23 |
24 header the global page header |
24 header the global page header |
25 footer the global page footer |
25 footer the global page footer |
26 |
26 |
27 files a list of file links |
27 files a list of file links |
|
28 file_copies a list of pairs of name, source filenames |
28 dirs a set of directory links |
29 dirs a set of directory links |
29 diff a diff of one or more files |
30 diff a diff of one or more files |
30 annotate an annotated file |
31 annotate an annotated file |
31 entries the entries relevant to the page |
32 entries the entries relevant to the page |
32 |
33 |