diff src/sat.tac @ 778:bfafed251b40

memory: fixed wrong information in the docstrings for security_limit
author souliane <souliane@mailoo.org>
date Sat, 04 Jan 2014 21:12:49 +0100
parents bfabeedbf32e
children 1fe00f0c9a91
line wrap: on
line diff