From d0379f2c91b22f1a534a73834ae30396cfb69a93 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 23 Oct 2025 19:06:50 +0200
Subject: [PATCH] add file extension .md

---
 doc/{README.WebDAV => README.WebDAV.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/{README.WebDAV => README.WebDAV.md} (100%)

diff --git a/doc/README.WebDAV b/doc/README.WebDAV.md
similarity index 100%
rename from doc/README.WebDAV
rename to doc/README.WebDAV.md