diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-10-01 08:51:30 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2017-10-01 08:52:11 -0300 |
| commit | d3345121ccf12eb5f11f4200b3b4ddc92823817c (patch) | |
| tree | 7f2c44e314af30e9ef3bc3b37d4ba8537f1b74a0 /drivers/convex_decomp/SCsub | |
| parent | 0c82d113edc4f7cc1bef11c2e03b2a1b39de90fb (diff) | |
Ability to set a module enabled/disabled by default by adding is_enabled() to config.py
Diffstat (limited to 'drivers/convex_decomp/SCsub')
0 files changed, 0 insertions, 0 deletions