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/.gitignore | |
| parent | 36e8f3dc6cb62ecc53f36dfd798bf8196c4c758b (diff) | |
Use default synthesis options.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions