diff options
author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-02 23:26:54 +0300 |
---|---|---|
committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-02 23:26:54 +0300 |
commit | 511de3674e41c2773d951251e60b28d81b25edb0 (patch) | |
tree | a362037ed2d9b28009ea5b6ff42831c900c06c18 /.beautify-ignore | |
parent | b7f517bafa9cefe77c3d7cd136b3dd7a5aeae2da (diff) |
Reorganization of server options.
Diffstat (limited to '.beautify-ignore')
-rw-r--r-- | .beautify-ignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.beautify-ignore b/.beautify-ignore index 15221c86a..b7eb51a20 100644 --- a/.beautify-ignore +++ b/.beautify-ignore @@ -23,6 +23,7 @@ mingw/MosesGUI/Ui_mainWindow.py moses/TranslationModel/UG moses/server moses/parameters +moses/thread_safe_container.h phrase-extract/pcfg-common phrase-extract/syntax-common randlm @@ -34,3 +35,4 @@ srilm util xmlrpc-c .git +util/ug_cache_with_timeout.h |