aboutsummaryrefslogtreecommitdiff
path: root/build/.gitignore
diff options
context:
space:
mode:
authorPavel V. Shatov (Meister) <meisterpaul1@yandex.ru>2018-08-18 02:04:15 +0300
committerPaul Selkirk <paul@psgd.org>2019-01-23 14:26:58 -0500
commit0415949a1e64f7e28cd2d319cb317c4da2b41b67 (patch)
tree801f894240cae670c4af1f8dd9fcdc388106f81a /build/.gitignore
parent36e8f3dc6cb62ecc53f36dfd798bf8196c4c758b (diff)
Use default synthesis options.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions