mirror of
https://github.com/git/git.git
synced 2026-02-20 06:45:11 +00:00
902e2bb5b7473765acc388d051f5c1c7d42015d0
Before, the input boxes would not be sunken and would have larger border, which is inconsistent with the rest of the inputboxes for repository locations in the git-gui UI. Signed-off-by: Petr Baudis <petr.baudis@novartis.com> Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Description
No description provided
Languages
C
50.5%
Shell
38.8%
Perl
4.4%
Tcl
3.2%
Python
0.8%
Other
2.1%