diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-19 07:10:31 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-19 07:10:31 +0200 |
| commit | 18dcad1f4a12ce14b71c1db83bbf855acdc2938f (patch) | |
| tree | f461840020e01663da896daf77aedeca1c540943 /doc/.gitignore | |
| parent | 9b2fa87b96de1663573248ad817c52390fde9701 (diff) | |
Disable amalgamation for good measure
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions