diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-09-16 14:09:08 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-09-16 16:41:22 +0300 |
commit | 8795c2da4f1b082b17c0291aeecd2e51f4f4a51f (patch) | |
tree | 0015939983a5fc7bb60b98dc67984871346ff010 /Makefile | |
parent | e6b7d3a85567b6e747b6201c0be98e22715d7c68 (diff) |
ui: small configuration fixes
- unused options were removed,
- renamed `index` conf option to `index_style`
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions