Alec Edgington
Results
21
comments of
Alec Edgington
@CalMacCQ I think we can delete the step that copies into `docs/manual` now that we are not deploying from there? (Then it can also be removed from `.gitignore`.)
Alec Edgington
@CalMacCQ I think we can delete the step that copies into `docs/manual` now that we are not deploying from there? (Then it can also be removed from `.gitignore`.)