From eb9c8009db08f73cd0971e0a4dea1afac2e20bd7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pavel=20K=C3=A1cha?= <ph@cesnet.cz>
Date: Mon, 10 Jan 2022 12:36:20 +0100
Subject: [PATCH] Remove .dist extension from wsgi file - wsgi is not expected
 to be changed by admin

---
 warden_server/{warden_server.wsgi.dist => warden_server.wsgi} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename warden_server/{warden_server.wsgi.dist => warden_server.wsgi} (100%)

diff --git a/warden_server/warden_server.wsgi.dist b/warden_server/warden_server.wsgi
similarity index 100%
rename from warden_server/warden_server.wsgi.dist
rename to warden_server/warden_server.wsgi
-- 
GitLab