diff options
author | Andrey Andreev <narf@devilix.net> | 2013-12-18 23:30:24 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2013-12-18 23:30:24 +0100 |
commit | aa25cd2769cfaed68dad8d0020997cf148c20eb4 (patch) | |
tree | 046b04e2ecc43cbf3f9649b19fe20a198b75a571 /user_guide_src/source/_themes/eldocs/theme.conf | |
parent | cfde6f2397bd598a9eaa5a142a06da06770de751 (diff) | |
parent | d3a6ca207f5851852a4d0de7c70c861434f70c5c (diff) |
Merge pull request #2779 from mjnaderi/develop
Use table name as a prefix for index names
Diffstat (limited to 'user_guide_src/source/_themes/eldocs/theme.conf')
0 files changed, 0 insertions, 0 deletions