From 5b5c04315c4923ba4ea871db0c5be6f071442b9d Mon Sep 17 00:00:00 2001 From: Joris Date: Tue, 31 Jan 2017 10:18:33 +0100 Subject: Use public instead of src/resources --- src/main/resources/index-prod.html | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 src/main/resources/index-prod.html (limited to 'src/main/resources/index-prod.html') diff --git a/src/main/resources/index-prod.html b/src/main/resources/index-prod.html deleted file mode 100644 index e43dc66..0000000 --- a/src/main/resources/index-prod.html +++ /dev/null @@ -1,14 +0,0 @@ - - - - - - Conseils de lecture - - - - - - - - -- cgit v1.2.3