diff options
author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-04 00:00:26 +0300 |
---|---|---|
committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-04 00:00:26 +0300 |
commit | 8644a3bbf239a3e16ff8b288a5688c4c56f5e073 (patch) | |
tree | f326ce75bcd57dec458392b165e15671a301c2b7 /moses/server | |
parent | 8e33b9a07d955d98445a6af75c17edd952501d69 (diff) |
Renamed for file name consistency.
Diffstat (limited to 'moses/server')
-rw-r--r-- | moses/server/Session.h (renamed from moses/server/session.h) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/moses/server/session.h b/moses/server/Session.h index 02c455f07..02c455f07 100644 --- a/moses/server/session.h +++ b/moses/server/Session.h |