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-22 23:48:26 -0500
commite674efe39544ef0ecb028a8d9cc16306a254532a (patch)
tree9cb1764d7d2887a81378ac9b70d6d4f383757337 /build/.gitignore
parentfe3d53cbd84a1a96ec93427a07f27321c4edaa6a (diff)
Use default synthesis options.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions