aboutsummaryrefslogtreecommitdiff
path: root/scripts/solution_kconfig
Commit message (Collapse)AuthorAge
* Add solution_kconfigKarel Kočí2014-12-16
This script is for setting options from sat generated solution to kconfig.