diff options
author | Dmitry Shachnev <mitya57@debian.org> | 2018-12-16 13:07:01 +0300 |
---|---|---|
committer | Dmitry Shachnev <mitya57@debian.org> | 2018-12-18 16:43:35 +0300 |
commit | d8914cadacf2d2714f590c441ebf38d1dfa26b82 (patch) | |
tree | 948c50b080ec9fe54752c6edee4afdf874b7be71 /debian/cider-doc.docs | |
parent | 06639c69bc85f6825d4efd5f1a20633976dc80ee (diff) |
Prevent search_index.json from being compressed.
Diffstat (limited to 'debian/cider-doc.docs')
0 files changed, 0 insertions, 0 deletions