Move built-in help files to GitHub Pages #4
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
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?
Currently, the online help is built into the program. This means that any changes to the documentation end up causing the system to change, when it should be able to be changed independently.
This is done, and will be part of the upcoming 7.2 release.