From 4fb67201414169a2687f41c4056b2e284b4938cb Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 11 Nov 2021 22:05:00 +0100 Subject: Removed old files --- old/2021-06-15-before-separating-steps/steps.h | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 old/2021-06-15-before-separating-steps/steps.h (limited to 'old/2021-06-15-before-separating-steps/steps.h') diff --git a/old/2021-06-15-before-separating-steps/steps.h b/old/2021-06-15-before-separating-steps/steps.h deleted file mode 100644 index e2b71a0..0000000 --- a/old/2021-06-15-before-separating-steps/steps.h +++ /dev/null @@ -1,20 +0,0 @@ -extern Step eofb_HTM; -extern Step eorl_HTM; -extern Step eoud_HTM; -extern Step coud_HTM; -extern Step corl_HTM; -extern Step cofb_HTM; -extern Step coud_URF; -extern Step corl_URF; -extern Step cofb_URF; -extern Step corners_HTM; -extern Step corners_URF; -extern Step edges_HTM; -extern Step drud_HTM; -extern Step optimal_HTM; - -extern PruneData pd_eofb_HTM; -extern PruneData pd_coud_HTM; -extern PruneData pd_corners_HTM; -extern PruneData pd_ep_HTM; -extern PruneData pd_drud_HTM; -- cgit v1.3