diff -r b5b6ed38c2f2 -r 682611a0fb89 mk_jars --- a/mk_jars Mon Nov 02 13:10:02 2020 +0000 +++ b/mk_jars Wed Nov 04 14:46:03 2020 +0000 @@ -14,3 +14,9 @@ done cd .. done + +hg commit -m "updated jars" + +# producing solutions and templates +# tar -zxvf templates.tgz pre_templates* main_templates* +# tar -zcvf templates.tgz pre_templates* main_templates*