diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-23 13:48:49 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-23 13:48:49 +0200 |
| commit | 4726ed62362267d10ea571da4f7ab75b0859b78d (patch) | |
| tree | 482aac5b972c1f5bb515ddfb5c5f81010913f27f /.gitignore | |
| parent | 3604df32e52ccc87f31ec58f9f3e16ac7a7d787c (diff) | |
| download | builder-4726ed62362267d10ea571da4f7ab75b0859b78d.tar.xz | |
misc/database-layout.dump: recognize more build errors
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions