diff options
author | Hieu Hoang <hieuhoang@gmail.com> | 2015-06-02 20:00:32 +0300 |
---|---|---|
committer | Hieu Hoang <hieuhoang@gmail.com> | 2015-06-02 20:00:32 +0300 |
commit | efdb8566b17d19783aa65caf22b24e48a789fbb8 (patch) | |
tree | fe43728c533e13268905595fae5a5dc488347975 /contrib/other-builds/all.workspace | |
parent | 2f04d4a56ebab78a97b9fa9ecf4b50ef845a1bdb (diff) |
delete ChangeSource(). Not used
Diffstat (limited to 'contrib/other-builds/all.workspace')
-rw-r--r-- | contrib/other-builds/all.workspace | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/other-builds/all.workspace b/contrib/other-builds/all.workspace index 3df758293..66dafe3d2 100644 --- a/contrib/other-builds/all.workspace +++ b/contrib/other-builds/all.workspace @@ -1,6 +1,5 @@ <?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="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"/> |