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-dev.html | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 src/main/resources/index-dev.html (limited to 'src/main/resources/index-dev.html') diff --git a/src/main/resources/index-dev.html b/src/main/resources/index-dev.html deleted file mode 100644 index daba6e8..0000000 --- a/src/main/resources/index-dev.html +++ /dev/null @@ -1,15 +0,0 @@ - - - - - - - Conseils de lecture - - - - - - - - -- cgit v1.2.3