add mantid properties file

mantidproject · Nov 13, 2023 · 0efa300 · 0efa300
1 parent e430772
commit 0efa300
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/EVSVesuvio/config/Mantid.user.properties b/EVSVesuvio/config/Mantid.user.properties
@@ -0,0 +1,3 @@
+default.facility=ISIS
+default.instrument=Vesuvio
+datasearch.searcharchive=On