minor clean-up

deleted: archived_results/families_with-same-r-and-s_r-50000.txt deleted: archived_results/homotopy-equivalent-families_r-50000.txt deleted: archived_results/list1-10000-he.txt deleted: archived_results/list2-10000-the.txt deleted: archived_results/list3-10000-homeo.txt deleted: archived_results/list_basic_pairs_human_r-100000.txt deleted: archived_results/list_basic_pairs_human_r-150000.txt deleted: archived_results/list_basic_pairs_human_r-200000.txt deleted: archived_results/list_basic_pairs_human_r-50000.txt deleted: archived_results/list_basic_pairs_maple_r-100000.txt deleted: archived_results/list_basic_pairs_maple_r-150000.txt deleted: archived_results/list_basic_pairs_maple_r-200000.txt deleted: archived_results/list_basic_pairs_maple_r-50000.txt deleted: archived_results/list_basic_r-50000_CEZ06.txt deleted: archived_results/list_basic_triples_human_r-100000.txt deleted: archived_results/list_basic_triples_human_r-150000.txt deleted: archived_results/list_basic_triples_human_r-200000.txt deleted: archived_results/list_basic_triples_maple_r-100000.txt deleted: archived_results/list_basic_triples_maple_r-150000.txt deleted: archived_results/list_basic_triples_maple_r-200000.txt deleted: archived_results/list_homotopy-equivalent_r-200.txt deleted: archived_results/list_the_r-2197.txt deleted: archived_results/log_r-150000.txt modified: bin_nix64/esch modified: bin_win64/esch.exe
TentativeConvert · Jan 21, 2018 · d1d28e5 · d1d28e5
1 parent 8d1cade
commit d1d28e5
Show file tree

Hide file tree

Showing 25 changed files with 0 additions and 81,835 deletions.
diff --git a/archived_results/families_with-same-r-and-s_r-50000.txt b/archived_results/families_with-same-r-and-s_r-50000.txt
diff --git a/archived_results/homotopy-equivalent-families_r-50000.txt b/archived_results/homotopy-equivalent-families_r-50000.txt
diff --git a/archived_results/list1-10000-he.txt b/archived_results/list1-10000-he.txt
diff --git a/archived_results/list2-10000-the.txt b/archived_results/list2-10000-the.txt
diff --git a/archived_results/list3-10000-homeo.txt b/archived_results/list3-10000-homeo.txt