comparison src/sat.tac @ 774:6dbe0ff5f38d

core: fixed setup.py (removed former sat_frontends and jp i18n references)
author Goffi <goffi@goffi.org>
date Sun, 29 Dec 2013 17:48:04 +0100
parents bfabeedbf32e
children 1fe00f0c9a91
comparison
equal deleted inserted replaced
773:eac23b1aad90 774:6dbe0ff5f38d