diff options
| author | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2020-02-11 15:50:36 +0300 |
|---|---|---|
| committer | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2020-02-11 15:50:36 +0300 |
| commit | 12939197d2c1f8686559fb582b2fc176a0ea89c1 (patch) | |
| tree | d94ff9b8bd30a8c21e54e42be68edac1c44bb263 /build/config.py | |
| parent | 5c415d26083854b7f784122b95d2565ba6fe73d0 (diff) | |
Turned off resource sharing during synthesis.
Diffstat (limited to 'build/config.py')
0 files changed, 0 insertions, 0 deletions