git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Name
Last commit
Last update
actions Loading commit data...
avatar Loading commit data...
classes Loading commit data...
db Loading commit data...
doc Loading commit data...
extlib Loading commit data...
file Loading commit data...
js Loading commit data...
lib Loading commit data...
locale Loading commit data...
scripts Loading commit data...
theme Loading commit data...
.gitignore Loading commit data...
COPYING Loading commit data...
README Loading commit data...
config.php.sample Loading commit data...
favicon.ico Loading commit data...
htaccess.sample Loading commit data...
index.php Loading commit data...
sphinx.conf.sample Loading commit data...