Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Do not quote paths when running 'source' (#1005)
gdb's `source` doesn't understand quotes. Annoying. We should be OK not quoting it since the config has a hook to ensure the path doesn't have spaces. Discovered by @southball
- Loading branch information