diff options
| author | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2018-08-18 02:04:15 +0300 |
|---|---|---|
| committer | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2018-08-18 02:04:15 +0300 |
| commit | f13b5c416776498bdb7e8722016e14aaba442bfa (patch) | |
| tree | 8afae5504d8cd52a72f6785e551fd90376cbd65d /build/config.py | |
| parent | 297f59340bfcf4cfee141e9bedc2313fbac8b5ff (diff) | |
Use default synthesis options.
Diffstat (limited to 'build/config.py')
0 files changed, 0 insertions, 0 deletions