]> git.vanrenterghem.biz Git - Dotty.git/commit
projects / Dotty.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84c5cbe) | patch
Show git branch in command prompt.
authorFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Fri, 16 Jun 2023 02:10:45 +0000 (10:10 +0800)
committerFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Fri, 16 Jun 2023 02:10:45 +0000 (10:10 +0800)
commit7c78873708b5e939ca947188dd9abe6187d31be5
tree422b071158250c94356659a6c1a504d67a2fe205tree | snapshot
parent84c5cbe4f23ccc9c9c1a376972a8cd5479c01b54commit | diff
Show git branch in command prompt.
bash/.bashrc diff | blob | history
Home folder configuration files - mostly of personal use only.