diff options
author | Eric Wong <e@80x24.org> | 2015-08-15 09:28:31 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2015-08-15 19:15:33 +0000 |
commit | 885250c3c289c96764e0eb9f432a389136d07088 (patch) | |
tree | 3eb8ca6e8ccbe53b985d8ab3639004c918a5c249 /public-inbox-index | |
parent | 675494c58ef7a39a92c79cbf02975b9da3991c0b (diff) | |
download | public-inbox-885250c3c289c96764e0eb9f432a389136d07088.tar.gz |
We need to make the indexer executable and installable while we're at it.
Diffstat (limited to 'public-inbox-index')
-rwxr-xr-x[-rw-r--r--] | public-inbox-index | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/public-inbox-index b/public-inbox-index index 9cfcadc2..9cfcadc2 100644..100755 --- a/public-inbox-index +++ b/public-inbox-index |