David Thrane Christiansen 7d90b0558e chore: Netlify deployment for manual (#3138) ... Set up Netlify deployment for our manual in addition to GH Pages --------- Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>		2024-01-04 18:07:46 +00:00
..
ISSUE_TEMPLATE	chore: Issue template: Suggest #eval Lean.versionString (#2884)	2023-11-16 18:40:55 +01:00
workflows	chore: Netlify deployment for manual (#3138)	2024-01-04 18:07:46 +00:00
PULL_REQUEST_TEMPLATE.md	chore: refine PR template (#3074)	2023-12-18 13:47:04 +00:00