diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-18 09:03:16 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-18 09:03:16 +0100 |
| commit | 13051e6acf6c1fd506a49d258c3d99c1334c78cc (patch) | |
| tree | de43540b84ae2918200c246c5ea6c051aeb65712 /libs | |
| parent | 02e6f2c5be8c5514cc8cdb7b3344f6170fb87af9 (diff) | |
Added "sat -initsteps"
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions