# This file is to keep the otherwise empty directory ``user''.
# It's not used to ignore any particular files.

