Remove superfluous function valid_user()
tree55e2158c7c06228026d6c852711374f4d09f12c0
-rw-r--r-- 178 .gitignore
-rw-r--r-- 828 .mailmap
drwxr-xr-x - .tx
-rw-r--r-- 2518 AUTHORS
-rw-r--r-- 17987 COPYING
-rw-r--r-- 2684 INSTALL
-rw-r--r-- 1819 README
drwxr-xr-x - conf
drwxr-xr-x - doc
drwxr-xr-x - git-interface
drwxr-xr-x - po
drwxr-xr-x - schema
drwxr-xr-x - scripts
drwxr-xr-x - upgrading
drwxr-xr-x - web