Update of /annodex (new revision 814) Removed files: AnnodexFirefoxExtension/tags/beta1/ Log Message: AnnodexFirefoxExtension: * Ahem, deleting beta1/ directory, since we just made a tags/beta1/trunk/ directory ... -- andre