bookmarklet is now part of Bookmark plugin
Showing with 0 additions and 9 deletions
We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
|<!-- Copyright 2008-2010 StatusNet Inc. and contributors. -->|
|<!-- Document licensed under Creative Commons Attribution 3.0 Unported. See -->|
|<!-- http://creativecommons.org/licenses/by/3.0/ for details. -->|
|Drag-and-drop the following link to your bookmarks bar or right-click it and add it to your browser favorites to keep it handy.|
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org