chiark / gitweb /
server/admin.c: Export `a_info'.