# HG changeset patch # User greg # Date 1510665753 18000 # Node ID dad89ec8846fb384a8bd3d4ce2fdb06aab032461 # Parent ad45c3ba16b215bb3d8cf36d0cd1184641974ae4 Uploaded diff -r ad45c3ba16b2 -r dad89ec8846f ideas.xml --- a/ideas.xml Wed Nov 08 07:45:52 2017 -0500 +++ b/ideas.xml Tue Nov 14 08:22:33 2017 -0500 @@ -91,10 +91,6 @@ #else: > /dev/null #end if -&& mv ./*.cluster $output_cluster -&& mv ./*.para $output_para -&& mv ./*.profile $output_profile -&& mv ./*.state $output_state ]]> - + save_ideas_log == 'yes' - - - - + + + @@ -216,8 +211,14 @@ - + + + + + + + @@ -230,7 +231,7 @@ - +