midori-display man page: Various improvements.2017-03-24T17:14:46+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T17:12:46+00:0076c2ffc010bcaf1afd4e7a3e71c3a6a5654a9b17
midori-display.html: Add intentionally left blank default Midori Display page.2017-03-24T17:02:46+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T17:01:18+00:0028a8cc66cda6c1861d16ef423fb2b5732a32cb58
midori-display.tex: Various textual fixes.2017-03-24T16:35:29+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T16:33:14+00:0060419db44fd130f3088889592a6857fa599adc2d
midori-display.default: Be more explanatory about the different URI_BLOCKLIST meanings.2017-03-24T16:15:49+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T16:10:30+00:0096f102d6884483c090dbb97a864367d167482414
midori-display.default: Mention default for HTTP_PROXY_URL variable.2017-03-24T16:15:43+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T16:09:34+00:001010831be732e295a57bf7c09a2ee7623689b447
midori-display.default: Use same INACTIVITY_INTERVAL in midori-display.defaults as in the script.2017-03-24T16:00:15+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T16:00:15+00:00c9e738155c94a219fe485c31d89a060a7bbe4406
midori-display.defaults: Move HIDE_IDLE_POINTER down, under POINTER_BUTTON_MAP.2017-03-24T15:58:35+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T15:58:35+00:000da068208e48100781dd227d52cea45d06e60cfe
bin/midori-display: Update comment for POINTER_BUTTON_MAP defaults.2017-03-24T15:57:47+00:00Mike Gabrielmike.gabriel@das-netzwerkteam.de2017-03-24T15:57:47+00:00c3096650a0d4ac938fe5ba68a13727f17740b73b