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 | 6f29f345dc06c1a1033475eac1d1340781d1d603 (patch) | |
| tree | 6fa4cdd7aefd7d54c9585c2c6274db61bb8b159a /mira/Jamfile | |
| parent | b510da2e562c695c90d565eb295c749569c59be8 (diff) | |
| parent | c615c37501fa8576584a510a9d2bfe2fdd5bace7 (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 ; |