comparison src/sat.tac @ 417:f1bf8b6143b7

core: removed former save_data method
author Goffi <goffi@goffi.org>
date Tue, 01 Nov 2011 23:04:48 +0100
parents 0a8eb0461f31
children cf005701624b
comparison
equal deleted inserted replaced
416:32dc8b18c2ae 417:f1bf8b6143b7