From 5afbd02fd652d9042a5adf77ab0997d1ababd63e Mon Sep 17 00:00:00 2001 From: Lars Hvam Date: Sat, 23 Sep 2017 11:12:03 +0200 Subject: [PATCH] docs: external libraries --- docs/{other-external-libraries => other-external-libraries.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/{other-external-libraries => other-external-libraries.md} (100%) diff --git a/docs/other-external-libraries b/docs/other-external-libraries.md similarity index 100% rename from docs/other-external-libraries rename to docs/other-external-libraries.md