From 8b7a7cbc813653a3248d6cf3a7779e220957bc85 Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Mon, 8 May 2017 21:28:02 +0200 Subject: The great rename: the old ‘website’ is now ‘website-old’, and ‘website2’ is now ‘website’. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- website2/templates/disable-checked-exceptions.html | 24 ---------------------- 1 file changed, 24 deletions(-) delete mode 100644 website2/templates/disable-checked-exceptions.html (limited to 'website2/templates/disable-checked-exceptions.html') diff --git a/website2/templates/disable-checked-exceptions.html b/website2/templates/disable-checked-exceptions.html deleted file mode 100644 index 94dd433e..00000000 --- a/website2/templates/disable-checked-exceptions.html +++ /dev/null @@ -1,24 +0,0 @@ - -- cgit