summaryrefslogtreecommitdiff
path: root/math/isabelle/files/patch-build
diff options
context:
space:
mode:
authorEdwin Groothuis <edwin@FreeBSD.org>2008-08-15 04:21:04 +0000
committerEdwin Groothuis <edwin@FreeBSD.org>2008-08-15 04:21:04 +0000
commit3ec0b37f468cc9b4d9857c1230fda60507954856 (patch)
tree214f768748a93aff3d4ab72c04535315c2546147 /math/isabelle/files/patch-build
parentNew Port: www/xpi-firegpg An extension that acts as an assistant for using GPG (diff)
[NEW PORT] www/xpi-firefoxonwooztalk: Meet your World Wide Web neighbors with Firefox
WoozTalk is a new innovative and free Internet service that let you see and chat with anyone else visiting the same website. As soon as you install WoozTalk, when you visit one of your favorite websites, you will see others net surfers currently connected and you will be able to chat with them! This plugin allows to use WoozTalk with Firefox. It will be installed by the port net-im/wooztalk WWW: http://www.wooztalk.com PR: ports/125885 Submitted by: David <tech@wooztalk.com>
Diffstat (limited to 'math/isabelle/files/patch-build')
0 files changed, 0 insertions, 0 deletions