diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:24:36 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:24:36 +0000 |
| commit | 725caafd4cd1d5cd966efef01320860e4cbae3d5 (patch) | |
| tree | e6261271cc96ec29684005085a819dd291c7d663 /math/isabelle/files/patch-build | |
| parent | Assign to new maintainer and update. (No response from previous (diff) | |
[new port] www/xpi-live_http_headers Firefox plugin
A plugin that allows you to view the browsers request headers
and the headers sent by the http server.
PR: ports/125096
Submitted by: Dominic Fandrey <kamikaze@bsdforen.de>
Diffstat (limited to 'math/isabelle/files/patch-build')
0 files changed, 0 insertions, 0 deletions