diff options
| author | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2018-08-18 02:04:15 +0300 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2019-01-22 23:48:26 -0500 |
| commit | e674efe39544ef0ecb028a8d9cc16306a254532a (patch) | |
| tree | 9cb1764d7d2887a81378ac9b70d6d4f383757337 /build/config.py | |
| parent | fe3d53cbd84a1a96ec93427a07f27321c4edaa6a (diff) | |
Use default synthesis options.
Diffstat (limited to 'build/config.py')
0 files changed, 0 insertions, 0 deletions