diff --git a/Infra b/Infra.txt similarity index 100% rename from Infra rename to Infra.txt