diff options
author | terry%mozilla.org <> | 1999-09-24 04:08:01 +0200 |
---|---|---|
committer | terry%mozilla.org <> | 1999-09-24 04:08:01 +0200 |
commit | 8829ae5f033999f20009364226a9239a1a706b68 (patch) | |
tree | 0a0e03f8195c4fcc5e992d5b2841f9dfa84c01b3 /makeprofilestable.sh | |
parent | 650e42208e0b0809c3a2092a0c6c6841439a3fdd (diff) | |
download | bugzilla-8829ae5f033999f20009364226a9239a1a706b68.tar.gz bugzilla-8829ae5f033999f20009364226a9239a1a706b68.tar.xz |
Patch by holger@holger.om.org (Holger Schurig) -- put the fancy header on several pages that were missing it.
Diffstat (limited to 'makeprofilestable.sh')
0 files changed, 0 insertions, 0 deletions