diff options
| author | Hieu Hoang <hieuhoang@gmail.com> | 2015-04-30 13:01:03 +0300 |
|---|---|---|
| committer | Hieu Hoang <hieuhoang@gmail.com> | 2015-04-30 13:01:03 +0300 |
| commit | 15e4b16f4900e1a8af912c811909ce672e0711c5 (patch) | |
| tree | ef945b3a79c3699a6df6fd86b88b95067f1cb247 /contrib/other-builds/all.workspace | |
| parent | eca582410006443d0b101a9ae188e302f34f8a03 (diff) | |
delete unused var
Diffstat (limited to 'contrib/other-builds/all.workspace')
| -rw-r--r-- | contrib/other-builds/all.workspace | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/other-builds/all.workspace b/contrib/other-builds/all.workspace index 7b1d7862b..03a39c4fd 100644 --- a/contrib/other-builds/all.workspace +++ b/contrib/other-builds/all.workspace @@ -1,13 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> <CodeLite_Workspace Name="all" Database="all.tags"> - <Project Name="manual-label" Path="manual-label/manual-label.project" Active="No"/> + <Project Name="manual-label" Path="manual-label/manual-label.project" Active="Yes"/> <Project Name="extract" Path="extract/extract.project" Active="No"/> <Project Name="util" Path="util/util.project" Active="No"/> <Project Name="extract-mixed-syntax" Path="extract-mixed-syntax/extract-mixed-syntax.project" Active="No"/> <Project Name="lm" Path="lm/lm.project" Active="No"/> <Project Name="OnDiskPt" Path="OnDiskPt/OnDiskPt.project" Active="No"/> <Project Name="search" Path="search/search.project" Active="No"/> - <Project Name="moses" Path="moses/moses.project" Active="Yes"/> + <Project Name="moses" Path="moses/moses.project" Active="No"/> <Project Name="moses-cmd" Path="moses-cmd/moses-cmd.project" Active="No"/> <Project Name="score" Path="score/score.project" Active="No"/> <Project Name="consolidate" Path="consolidate/consolidate.project" Active="No"/> |