Skip to main content

link

lean_ctx::core::project_link

Function link 

Source 
pub fn link(link: ProjectLink) -> Result<Option<ProjectLink>, String>
Expand description

Link the checkout at link.workspace_root; returns the link it replaced.