diff --git a/Compiler/root/with_modules b/Compiler/root/with_modules new file mode 100644 index 0000000..476a546 --- /dev/null +++ b/Compiler/root/with_modules @@ -0,0 +1,2 @@ +gsl/1.15 +psi-python27/2.3.0