Closed alflanagan closed 1 year ago
Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context.
Fixes # n/a
Please delete options that are not relevant.
Please put an x in the boxes that apply. You can also fill these out after creating the PR.
x
all n/a
LGTM.
Dude. It's a documentation change. Just push it, it's fine.
Committed as bac82bf27011827a98b8737b04404ac2528a1cd4 add section about git submodule
Description
Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context.
Fixes # n/a
Type of change
Please delete options that are not relevant.
Checklist:
Please put an
x
in the boxes that apply. You can also fill these out after creating the PR.all n/a