diff announces/version_0.5.1_en @ 135:7272eafd0fad

Backed out changeset 4549cf265131 The hack to avoid launching the backend is not clean, and can confuse user if a frontend is removed. Doesn't seem like a sane solution.
author Goffi <goffi@goffi.org>
date Thu, 19 Jul 2018 21:23:14 +0200
parents dc5240f4b7b2
children
line wrap: on
line diff