comparison src/sat.sh @ 1046:a874a79ad0f5

tools: add missing file src/tools/config.py
author souliane <souliane@mailoo.org>
date Fri, 23 May 2014 10:03:33 +0200
parents 52ec79aa5bbe
children 7293233970ab
comparison
equal deleted inserted replaced
1045:65fffdcb97f1 1046:a874a79ad0f5