server: Rename functions related to user lists.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 12 Aug 2017 23:10:01 +0000 (01:10 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Mar 2018 02:28:10 +0000 (03:28 +0100)
commit85f77d8944779bfac7f65271a7f5c5986700b648
tree4ee7afe6b08a2118778fb76a55d6ce9e62897ed1
parent1a4ab483a2a41160e548e799609f964a7a6f3400
server: Rename functions related to user lists.

The common user_list prefix of the two public functions declared in
user_list.h indicates that these functions are defined in user_list.c.
command.c
server.c
user_list.c
user_list.h