]> granicus.if.org Git - mutt/commit
projects / mutt / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ddc7d9) | patch
HEAD is dead, remove wrong instruction from doc/devel-notes.txt
authorEike Rathke <erack@erack.de>
Wed, 21 Jan 2015 09:14:17 +0000 (10:14 +0100)
committerEike Rathke <erack@erack.de>
Wed, 21 Jan 2015 09:14:17 +0000 (10:14 +0100)
commit0021dca4d80fa51fbc095392be09c051009c62f3
tree86d88b11cdf4919389a7f74cd89fb81d9c90071dtree | snapshot
parent9ddc7d91bbe0d541352cd4d482b944ca8580b389commit | diff
HEAD is dead, remove wrong instruction from doc/devel-notes.txt

Branch HEAD was closed over a year ago. If one was following the instruction
to update -C HEAD you'd end up with an empty source tree and had to checkout
the default branch again.
doc/devel-notes.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.