diff bin/sat @ 2629:346887f256f0

doc (README): removed version from README to avoid having to update it each time + removed mentions to future frontends
author Goffi <goffi@goffi.org>
date Mon, 02 Jul 2018 08:25:04 +0200
parents 26edcf3a30eb
children ab2696e34d29
line wrap: on
line diff