[aur-dev] [PATCH 9/9] user_doc is more or less reflected in the README/wiki

Kind of pointless to keep it around. Especially in here. --- web/html/user_docs.html | 160 ----------------------------------------------- 1 files changed, 0 insertions(+), 160 deletions(-) delete mode 100644 web/html/user_docs.html