# HG changeset patch # User greg # Date 1503581470 14400 # Node ID f6156d2888a3ec6fca9168b71a5c91d3024e4190 # Parent dda8772b5864d981c0e306367e56f2cbe6cff61a Uploaded diff -r dda8772b5864 -r f6156d2888a3 ideas.xml --- a/ideas.xml Thu Aug 24 09:28:26 2017 -0400 +++ b/ideas.xml Thu Aug 24 09:31:10 2017 -0400 @@ -110,19 +110,20 @@ && mv ./*.state $output_state ]]> -