diff options
| author | Eric Wong <e@80x24.org> | 2021-03-16 23:02:17 -0800 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2021-03-17 19:03:14 +0000 |
| commit | 081918279573b209c27a91e443c37df597bcd43f (patch) | |
| tree | 5eb589854d7739665721bf60141d820f68f8cbfa /lib/PublicInbox/SearchIdx.pm | |
| parent | a5968dc059f655a9ac62f1b8bf0bed2b90080b02 (diff) | |
| download | public-inbox-081918279573b209c27a91e443c37df597bcd43f.tar.gz | |
By adding "+code" next to "mirror" at the top next to the search box. Instead of showing "/path/to/$FOO", showing "$FOO.git" makes it more obvious we're talking about a git repo, here, instead of some random directory.
Diffstat (limited to 'lib/PublicInbox/SearchIdx.pm')
0 files changed, 0 insertions, 0 deletions