diff --git a/lib/domains/fr/mines-paristech.txt b/lib/domains/fr/mines-paristech.txt new file mode 100644 index 0000000000..7b63807a74 --- /dev/null +++ b/lib/domains/fr/mines-paristech.txt @@ -0,0 +1 @@ +MINES ParisTech