diff options
Diffstat (limited to 'sourcecodes/k-best/src/clean.sh')
| -rw-r--r-- | sourcecodes/k-best/src/clean.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/sourcecodes/k-best/src/clean.sh b/sourcecodes/k-best/src/clean.sh deleted file mode 100644 index 3db60eb5..00000000 --- a/sourcecodes/k-best/src/clean.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -rm -f get_local_scores split_local_scores reverse_local_scores \ - get_best_parents get_best_sinks get_best_order get_best_net \ - score_net score_nets net2parents parents2arcs arcs2dot \ - *.exe *.o *~ |