Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add support for custom profile directory
A custom user data directory can now be specified using the "profiledir" command line argument. Github ref: closes #6175
- Loading branch information