Open prati0100 opened 4 years ago
Right now, tools can be added and deleted via the "Tools" menu, but they can't be edited. To edit a tool, you either need to change it in the .git/config file (or the global config file). There is no way to edit a tool from the GUI.
Right now, tools can be added and deleted via the "Tools" menu, but they can't be edited. To edit a tool, you either need to change it in the .git/config file (or the global config file). There is no way to edit a tool from the GUI.