diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-13 11:20:08 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-13 11:20:08 +0100 |
| commit | 07ed3c88e045d84ab282272c9f1b675c15487ba1 (patch) | |
| tree | 718f104e97064514522d1d1d7926dc15ecedace5 /.gitignore | |
| parent | a9f0449be9a12ffd6842671eee49fde40b3196f3 (diff) | |
| download | builder-07ed3c88e045d84ab282272c9f1b675c15487ba1.tar.xz | |
bin/sanity-check: check full name of package in database
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions