diff --git a/tools/ess-env.conf b/tools/ess-env.conf new file mode 100644 index 0000000000000000000000000000000000000000..326f21527fc3b615fb3c86562b84e9a1b7c7cb98 --- /dev/null +++ b/tools/ess-env.conf @@ -0,0 +1 @@ +IOCSH_HASH_VERSION=d3c308e