diff options
| author | Joey Hess <joey@gnu.kitenet.net> | 2009-10-05 15:26:15 -0400 |
|---|---|---|
| committer | Joey Hess <joey@gnu.kitenet.net> | 2009-10-05 15:26:15 -0400 |
| commit | f7d04d106721a6bff6dfd4a0a7aa162cd2ce5536 (patch) | |
| tree | dddcb58f5a2c161d8809933681aafac5109b94c7 /debian | |
| parent | d6cdced589f31471622ed481f88e33e070388c27 (diff) | |
switch plugins page to use a map instead of an inline
A map just seems a better fit for reference, since it deliniates the
contrib plugins better, and orders better.
It also has the advantage of being less expensive, since the plugins page
does not need to update when eg, the pagecount page changes.
Only downside is, no rss feed of new plugins. Which I know a few people
were subscribed to.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions