From 0efa30040bc126dd97116c5281bd6cef99bd4826 Mon Sep 17 00:00:00 2001 From: MialLewis <95620982+MialLewis@users.noreply.github.com> Date: Mon, 13 Nov 2023 17:22:58 +0000 Subject: [PATCH] add mantid properties file --- EVSVesuvio/config/Mantid.user.properties | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 EVSVesuvio/config/Mantid.user.properties diff --git a/EVSVesuvio/config/Mantid.user.properties b/EVSVesuvio/config/Mantid.user.properties new file mode 100644 index 00000000..300b958c --- /dev/null +++ b/EVSVesuvio/config/Mantid.user.properties @@ -0,0 +1,3 @@ +default.facility=ISIS +default.instrument=Vesuvio +datasearch.searcharchive=On