From 2244792608e9e3efae811c8406fbb569227ca9f7 Mon Sep 17 00:00:00 2001 From: jbteyssier Date: Mon, 23 Oct 2023 19:42:19 +0200 Subject: [PATCH] Merge remote-tracking branch 'origin/master' --- lib/domains/fr/imj-prg.txt | 1 + 1 file changed, 1 insertion(+) create mode 100644 lib/domains/fr/imj-prg.txt diff --git a/lib/domains/fr/imj-prg.txt b/lib/domains/fr/imj-prg.txt new file mode 100644 index 0000000000..1e1a0d00ff --- /dev/null +++ b/lib/domains/fr/imj-prg.txt @@ -0,0 +1 @@ +Institut de Mathématiques de Jussieu-Paris Rive Gauche \ No newline at end of file