diff --git a/Tools/Robber.md.txt b/Tools/Robber.md
similarity index 100%
rename from Tools/Robber.md.txt
rename to Tools/Robber.md