Pull requests: google/docsy
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
User guide, LaTeX: typesetting of formulae using standard syntax
user guide
Improvements to user guide
#1858
opened Feb 9, 2024 by
deining
Loading…
Template for new files at GitHub: add info on customization
#1648
opened Aug 5, 2023 by
deining
Loading…
Adding GitHub action for link check of user guide
CI/infra
CI & infrastructure
user guide
Improvements to user guide
#1441
opened Feb 24, 2023 by
deining
Loading…
User guide, deployment page: add section 'Deployment on GitHub Pages'
user guide
Improvements to user guide
ProTip!
Add no:assignee to see everything that’s not assigned.