Merge branch 'develop' into 'master'

Develop See merge request !165

Merge branch 'develop' into 'master'
Develop See merge request !165
6c3c4082 · Laurent Heirendt · c4f9826a · 304c4457 · c4f9826a · 6c3c4082
Commit 6c3c4082 authored 4 years ago by Laurent Heirendt
--- a/.ci/_config_old.yml
+++ b/.ci/_config_old.yml
-url: "https://r3.pages.uni.lu"
--- a/.gitignore
+++ b/.gitignore
@@ -33,4 +33,5 @@ package.json
 ./theme/package.json
 __pycache__/
 contribute.egg-info/
-policies
\ No newline at end of file
+policies
+.tmp