diff options
author | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-11-05 15:29:46 +0100 |
---|---|---|
committer | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-11-05 15:29:46 +0100 |
commit | 1db70a45d59946560fbd5db6487b55a8674ef973 (patch) | |
tree | 172585dafe4d1462f22d8200e733d52dddb55b1e /mira/Jamfile | |
parent | 4dd5216d3afa9ab72b150e250a3c30a5f223ce53 (diff) | |
parent | 6bbf03ac46bd57400aa9e65a321a304a234af935 (diff) |
merge upstream/master
Diffstat (limited to 'mira/Jamfile')
-rw-r--r-- | mira/Jamfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mira/Jamfile b/mira/Jamfile deleted file mode 100644 index 8825b887..00000000 --- a/mira/Jamfile +++ /dev/null @@ -1 +0,0 @@ -exe kbest_mira : kbest_mira.cc ..//decoder ; |