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-23 14:26:58 -0500 |
commit | 0415949a1e64f7e28cd2d319cb317c4da2b41b67 (patch) | |
tree | 801f894240cae670c4af1f8dd9fcdc388106f81a /build/Makefile | |
parent | 36e8f3dc6cb62ecc53f36dfd798bf8196c4c758b (diff) |
Use default synthesis options.
Diffstat (limited to 'build/Makefile')
0 files changed, 0 insertions, 0 deletions