diff options
| author | Joris | 2017-01-31 10:18:33 +0100 |
|---|---|---|
| committer | Joris | 2017-01-31 10:18:33 +0100 |
| commit | 5b5c04315c4923ba4ea871db0c5be6f071442b9d (patch) | |
| tree | e0f26bec755a5e71a8fa2cf700f93285bbf700d2 /src/main/resources/index-prod.html | |
| parent | b5f2ced2c742a7df3c077bf0013f88c1607beef9 (diff) | |
Use public instead of src/resources
Diffstat (limited to 'src/main/resources/index-prod.html')
| -rw-r--r-- | src/main/resources/index-prod.html | 14 |
1 files changed, 0 insertions, 14 deletions
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 @@ -<!DOCTYPE html> - -<html lang="en"> - <head> - <meta charset="UTF-8"> - <title>Conseils de lecture</title> - <link rel="stylesheet" href="reset.css"> - <link rel="icon" href="icon.png"> - <script src="../reading-opt.js"></script> - </head> - - <body onload="reading.Main().main()"> - </body> -</html> |