diff options
| author | Marin Jankovski <marin@gitlab.com> | 2017-06-22 12:19:30 +0300 |
|---|---|---|
| committer | Marin Jankovski <marin@gitlab.com> | 2017-06-22 12:19:30 +0300 |
| commit | 270ca89d9f5c3f5737f372a4f4014a429f5e75ba (patch) | |
| tree | 6dd92675b0a682f07a63d45118124a7dc2962036 /GITALY_SERVER_VERSION | |
| parent | 39eaac5aadfa04f756e0e2892f24aad0e067f7ef (diff) | |
| parent | b21995c633e9841b40a38388eb316f22d8760cd4 (diff) | |
Merge branch 'patch-17' into 'master'
clarify NFS option details
See merge request !12257
Diffstat (limited to 'GITALY_SERVER_VERSION')
0 files changed, 0 insertions, 0 deletions