projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9c2a63) | patch
remove mention of mount option `case=dir` (turned out to be unnecessary)
authorjkniiv <jkniiv@web>
Thu, 7 Oct 2021 11:40:25 +0000 (11:40 +0000)
committeradmin <admin@branchable.com>
Thu, 7 Oct 2021 11:40:25 +0000 (11:40 +0000)
commit513573046701bdb42eea3d804c5fa218c50d06d0
tree06b3730b9dfed1c5bb75716b8a74b771c44f20bdtree | snapshot
parentd9c2a632f59e48bdcf23348194ee7b188892d4f5commit | diff
remove mention of mount option `case=dir` (turned out to be unnecessary)
doc/todo/windows_support.mdwn diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.