diff options
| author | Wynn Wolf Arbor | 2020-05-28 18:38:04 +0200 |
|---|---|---|
| committer | Wynn Wolf Arbor | 2020-05-28 18:43:34 +0200 |
| commit | a8207a5d773c514b07b555e256394b100c3df169 (patch) | |
| tree | ba00d50d89030809161929da76068635e254bffb /.gitignore | |
| parent | efdbb04b6799ea399cc9ca4f094b6b13fdb1c82f (diff) | |
| download | skein-a8207a5d773c514b07b555e256394b100c3df169.tar.gz | |
skein-infra: Rename mount point to repos.avail
Users might easily confuse the per-instance repos/ directory with the
mount point that contains all available repositories for a given user.
Therefore, be more clear about the purpose of the mount point and rename
it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions