diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:19:20 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:19:20 +0000 |
| commit | 2dbce6cd5693df40deac3fe4618ed89acd9df975 (patch) | |
| tree | d2b1a0a26cd3c67cf063b1d3a48cc2ee991dfa60 /math/isabelle/files/patch-lib-Tools-make | |
| parent | [MAINTAINER] www/xpi-forecastfox: update to 0.9.7.7 (diff) | |
New Port: www/xpi-firegpg An extension that acts as an assistant for using GPG
FireGPG is a Firefox extension which brings an interface
to encrypt, decrypt, sign or verify the signature of text
in any web page using GnuPG.
WWW: http://getfiregpg.org/index.html
PR: ports/125919
Submitted by: Ashish Shukla <wahjava@gmail.com>
Diffstat (limited to 'math/isabelle/files/patch-lib-Tools-make')
0 files changed, 0 insertions, 0 deletions