summaryrefslogtreecommitdiff
path: root/report/prune_results/time.hdt
diff options
context:
space:
mode:
authorChris Dyer <cdyer@cs.cmu.edu>2010-12-22 08:58:07 -0600
committerChris Dyer <cdyer@cs.cmu.edu>2010-12-22 08:58:07 -0600
commitb5ca2bd7001a385594af8dc4b9206399c679f8c5 (patch)
tree332cb09a27f783760532e688e14bde21a128bb2b /report/prune_results/time.hdt
parent86805dcb8aaaa716fdc73725ad41e411be53f6a6 (diff)
remove report
Diffstat (limited to 'report/prune_results/time.hdt')
-rw-r--r--report/prune_results/time.hdt1
1 files changed, 0 insertions, 1 deletions
diff --git a/report/prune_results/time.hdt b/report/prune_results/time.hdt
deleted file mode 100644
index cce55d29..00000000
--- a/report/prune_results/time.hdt
+++ /dev/null
@@ -1 +0,0 @@
-2.37764246 20.42