search

eecs280staff / tutorials

Tools and tutorials
https://eecs280staff.github.io/tutorials/
Other
5 stars 4 forks source link

Don't generate pdfs by default #130

Closed awdeorio closed 1 year ago

awdeorio commented 1 year ago

Title.

Closes #129

github-actions[bot] commented 1 year ago

The spec from this PR is available at https://preview.sesh.rs/previews/eecs280staff/tutorials/130/.

(Available until Sun Jul 30 2023.)