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