diff --git a/.editorconfig b/.editorconfig index 36d08f6..ce2f0a1 100644 --- a/.editorconfig +++ b/.editorconfig @@ -1,10 +1,13 @@ +# https://editorconfig.org/ + # top-most EditorConfig file root = true # Unix-style newlines with a newline ending every file [*] +charset = utf-8 end_of_line = lf insert_final_newline = true trim_trailing_whitespace = true -indent_style = space indent_size = 2 +indent_style = space diff --git a/robots.txt b/robots.txt new file mode 100644 index 0000000..482af66 --- /dev/null +++ b/robots.txt @@ -0,0 +1,5 @@ +# https://www.robotstxt.org/ + +# Deny crawling of all content +User-agent: * +Disallow: / diff --git a/www/index.html b/www/index.html index 7326d96..31bbfc3 100644 --- a/www/index.html +++ b/www/index.html @@ -1 +1,12 @@ -Ok + + + + + + + + +

Travaux pratiques

+ + +