git-gui
git-gui copied to clipboard
A small problem
Should this https://github.com/prati0100/git-gui/blob/df4f9e28f64ea97032ec70d9c8894dc87a1b7f9e/git-gui.sh#L3063 be changed to set doc_url "file://$doc_path"?