diff src/sat.tac @ 514:fe79a724e6fa

Primitivus: avoid double messages in case of backlog/history conflict
author Goffi <goffi@goffi.org>
date Sat, 20 Oct 2012 17:24:30 +0200
parents 2a072735e459
children ca13633d3b6b
line wrap: on
line diff