diff options
author | 2014-02-28 20:37:03 -0400 | |
---|---|---|
committer | 2014-02-28 20:37:03 -0400 | |
commit | c597e4ebe25f2ebbc09548fc4607282d1789b523 (patch) | |
tree | de6497d08d6cafe9e59b7c5e0300938c4718c8f9 /configure.hs | |
parent | 4a7e4aa126c1b8e28892188857b625ea65e185b6 (diff) |
webapp: Don't list the public repository group when editing a git repository; it only makes sense for special remotes.
Diffstat (limited to 'configure.hs')
0 files changed, 0 insertions, 0 deletions