diff options
author | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-05-21 11:41:22 +0200 |
---|---|---|
committer | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-05-21 11:41:22 +0200 |
commit | d2cc18ac0457609d179d158b7ff952e7fec9026c (patch) | |
tree | 52f7e747972cc39d1304d4dc3d03213a3bf4c4ca /mira/Jamfile | |
parent | 22d2f3ce5bd3fae2db9744eb66f7b8c3996265d6 (diff) | |
parent | bc52c53ec2872a0e41b830308f11400d77b38e76 (diff) |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'mira/Jamfile')
-rw-r--r-- | mira/Jamfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mira/Jamfile b/mira/Jamfile new file mode 100644 index 00000000..8825b887 --- /dev/null +++ b/mira/Jamfile @@ -0,0 +1 @@ +exe kbest_mira : kbest_mira.cc ..//decoder ; |