diff --git a/1373613776_switch-to-sepa_582/STATE_open b/1373613776_switch-to-sepa_582/STATE_open deleted file mode 100644 index f510327..0000000 --- a/1373613776_switch-to-sepa_582/STATE_open +++ /dev/null @@ -1 +0,0 @@ -open diff --git a/1373613776_switch-to-sepa_582/STATE_resolved b/1373613776_switch-to-sepa_582/STATE_resolved new file mode 100644 index 0000000..2ab19ae --- /dev/null +++ b/1373613776_switch-to-sepa_582/STATE_resolved @@ -0,0 +1 @@ +resolved