diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2021-05-30 17:46:21 -0700 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2021-05-30 17:46:21 -0700 |
| commit | 12e952e684d149628360b6fcdb583be86052f944 (patch) | |
| tree | b7ede146e2d145c9dcdc92a80e1a92d2be869aad /lib/map | |
| parent | 1af2546e96fa96ec5341026dd509c9e4ed54c6db (diff) | |
| download | plan9front-12e952e684d149628360b6fcdb583be86052f944.tar.xz | |
git/fs: move mount point to $repo/.git/fs
Moving the mount point to within the repo
directory means that we can have multiple
git repos mounted at once with no conflict.
Diffstat (limited to 'lib/map')
0 files changed, 0 insertions, 0 deletions