diff options
Diffstat (limited to 'example/bin')
| -rw-r--r-- | example/bin/1PUT | 0 | ||||
| -rw-r--r-- | example/bin/EXTRACTOR | 0 | ||||
| -rw-r--r-- | example/bin/MERT | 0 | ||||
| -rw-r--r-- | example/bin/MOSES | 0 | ||||
| -rw-r--r-- | example/bin/ZIN_HERE | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/example/bin/1PUT b/example/bin/1PUT new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/example/bin/1PUT diff --git a/example/bin/EXTRACTOR b/example/bin/EXTRACTOR new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/example/bin/EXTRACTOR diff --git a/example/bin/MERT b/example/bin/MERT new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/example/bin/MERT diff --git a/example/bin/MOSES b/example/bin/MOSES new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/example/bin/MOSES diff --git a/example/bin/ZIN_HERE b/example/bin/ZIN_HERE new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/example/bin/ZIN_HERE |