Skip to content

Conversation

jsquyres
Copy link
Member

Signed-off-by: Jeff Squyres [email protected]

@jsquyres jsquyres changed the title Add a little text for git submodulesx Add a little text for git submodules Dec 24, 2019
@jsquyres jsquyres merged commit 0208492 into master Dec 24, 2019
@jsquyres jsquyres deleted the pr/git-submodules branch December 24, 2019 17:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant