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