diff --git a/AUTHORS b/CONTRIBUTORS similarity index 100% rename from AUTHORS rename to CONTRIBUTORS diff --git a/tools/list_AUTHORS b/tools/list_CONTRIBUTORS similarity index 100% rename from tools/list_AUTHORS rename to tools/list_CONTRIBUTORS