Skip to content

GitLab

Commit ea6d07c9 authored by Andreas Rauschert's avatar Andreas Rauschert
Browse files

Merge branch 'add_workspace_file_to_use_mantle_api_as_local_repo' into 'master' 

Add WORKSPACE file

See merge request !28
parents f32a6498 9483ffdb
Hide whitespace changes
Inline Side-by-side
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent