equal
deleted
inserted
replaced
200 "package-list", |
200 "package-list", |
201 "pkg/C.html", |
201 "pkg/C.html", |
202 "pkg/package-frame.html", |
202 "pkg/package-frame.html", |
203 "pkg/package-summary.html", |
203 "pkg/package-summary.html", |
204 "pkg/package-tree.html", |
204 "pkg/package-tree.html", |
205 "resources/background.gif", |
|
206 "resources/tab.gif", |
|
207 "resources/activetitlebar_end.gif", |
|
208 "resources/activetitlebar.gif", |
|
209 "resources/titlebar_end.gif", |
|
210 "resources/titlebar.gif", |
|
211 "script.js", |
205 "script.js", |
212 "stylesheet.css" |
206 "stylesheet.css" |
213 )); |
207 )); |
214 } |
208 } |
215 |
209 |