X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FchosenTermEditor.ml.in;fp=helm%2FgTopLevel%2FchosenTermEditor.ml.in;h=d501e8d06d350dd85be7a3b6f505009920ad1c8b;hb=1bd503d31db62ec1f4b1dfb416c11615f3af7248;hp=0000000000000000000000000000000000000000;hpb=ebc346f535472bc0f5075dac48040ea5ecc40232;p=helm.git

diff --git a/helm/gTopLevel/chosenTermEditor.ml.in b/helm/gTopLevel/chosenTermEditor.ml.in
new file mode 100644
index 000000000..d501e8d06
--- /dev/null
+++ b/helm/gTopLevel/chosenTermEditor.ml.in
@@ -0,0 +1 @@
+@CHOSEN_TERM_EDITOR@