git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43ea3d5) | patch
+git: checkout: +--ignore-other-worktrees
authorJan Kratochvil <jan@jankratochvil.net>
Fri, 9 Sep 2022 08:04:33 +0000 (10:04 +0200)
committerJan Kratochvil <jan@jankratochvil.net>
Fri, 9 Sep 2022 08:04:33 +0000 (10:04 +0200)
commit24d7f898e5d6e1b5b33730901c3ef678dfad4c2a
tree330a4590f20bc13ffd7ffcee81c7a40a75d46f3etree
parent43ea3d5a4c057b1e84fe32d44ede7e6c34033feccommit | diff
+git: checkout: +--ignore-other-worktrees
.bashrc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.