renaming plugins
tree9d8c7ff0eec5c5aa806d6e2d97b503d9c5ee935d
-rw-r--r-- 172 .hgignore
-rw-r--r-- 150 .hgtags
-rw-r--r-- 1103 config.php
-rwxr-xr-x 4345 main.php
-rwxr-xr-x 472 makebuild.sh
drwxr-xr-x - plugins
-rwxr-xr-x 486 release-cleanup.sh
drwxr-xr-x - sources
-rw-r--r-- 148 users.db