diff src/tools/misc.py @ 1138:a7cdf03c00e9

setup: sat_frontends was omitted by the cleaning method
author souliane <souliane@mailoo.org>
date Tue, 26 Aug 2014 09:54:23 +0200
parents 301b342c697a
children ba41a81d14c2
line wrap: on
line diff