Add WORKSPACE file
The WORKSPACE file is needed in order to be able to use mantle_api as local repository
The WORKSPACE file is needed in order to be able to use mantle_api as local repository
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent