diff options
| author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-01 18:11:35 +0300 |
|---|---|---|
| committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-01 18:11:35 +0300 |
| commit | faaf0bdf874037a8b4607d3f3f38e1eb837eff19 (patch) | |
| tree | f2d53c934bef3ae684e4140c95d3e64ef870f1fe /.beautify-ignore | |
| parent | 51bc36d131128d103aeecda4204d75aa95411247 (diff) | |
Reorganization of server options. Added options for sesssion cache.
Diffstat (limited to '.beautify-ignore')
| -rw-r--r-- | .beautify-ignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.beautify-ignore b/.beautify-ignore index ef4c2b762..15221c86a 100644 --- a/.beautify-ignore +++ b/.beautify-ignore @@ -22,6 +22,7 @@ mingw/MosesGUI/Ui_credits.py mingw/MosesGUI/Ui_mainWindow.py moses/TranslationModel/UG moses/server +moses/parameters phrase-extract/pcfg-common phrase-extract/syntax-common randlm |