Closed kchodorow closed 7 years ago
We've heard from users who run generate_workspace multiple times. Keeping a record of the command run should make it easier to regenerate the WORKSPACE file and slightly modify the input, if needed.
We've heard from users who run generate_workspace multiple times. Keeping a record of the command run should make it easier to regenerate the WORKSPACE file and slightly modify the input, if needed.