From 1cc9437c4e2908d4a7d8e9aff94e180f648ca180 Mon Sep 17 00:00:00 2001 From: Siddharth Dushantha Date: Sun, 17 Feb 2019 09:19:18 +0100 Subject: [PATCH] Rename mp4-to-gif to mp4-to-gif.txt --- extra/{mp4-to-gif => mp4-to-gif.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename extra/{mp4-to-gif => mp4-to-gif.txt} (100%) diff --git a/extra/mp4-to-gif b/extra/mp4-to-gif.txt similarity index 100% rename from extra/mp4-to-gif rename to extra/mp4-to-gif.txt