From c34e5ae1321d2e66869f6643d352c8170fe9a36b Mon Sep 17 00:00:00 2001 From: Tianon Gravi Date: Wed, 14 Dec 2016 10:47:07 -0800 Subject: [PATCH] Rename README-short to have the correct extension --- eclipse-mosquitto/{README-short.md => README-short.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename eclipse-mosquitto/{README-short.md => README-short.txt} (100%) diff --git a/eclipse-mosquitto/README-short.md b/eclipse-mosquitto/README-short.txt similarity index 100% rename from eclipse-mosquitto/README-short.md rename to eclipse-mosquitto/README-short.txt