Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upUser manual should explain "load/save profile" #362
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment


Environment
How to reproduce
The options menu contains the commands "Load Profile..." and "Save Profile...".
These commands should be described in Help->"User Manual", but they aren't.