Improve docs (build) and some code #16
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "benknoble/bk/docs"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This started because I wanted to remove the
path/md5sum
output duringraco setup
; I made a few other (hopefully minor) modifications along the way.See commits for details. Primary changes:
a536e5bec
(docs: fix contract links, 2024-11-23)81b2514ed
(asymptote: simplify string construction, 2024-11-23)a48c87892
(asymptote: remove display side-effect, 2024-11-23)Checkout
From your project repository, check out a new branch and test the changes.Merge
Merge the changes and update on Gitea.