Skip to content

Patching AddTool.patch file #3735

Answered by maliberty
ApeachM asked this question in Q&A
Jul 27, 2023 · 1 comments · 3 replies
Discussion options

You must be logged in to vote

patch -p1 < docs/misc/AddTool.patch

However I do see some errors. This example is quite old and in need of updating

@vvbandeira perhaps this can be addressed as part of the docs work.

Replies: 1 comment 3 replies

Comment options

You must be logged in to vote
3 replies
@ApeachM
Comment options

@maliberty
Comment options

Answer selected by ApeachM
@ApeachM
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants