diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-09 12:27:40 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-09 12:27:40 +0100 |
| commit | b401b1f7c3b83c095adb01bfeded39d77f5d663f (patch) | |
| tree | 45b033143affa2ffdfb1f5230e0391381e645416 /.gitignore | |
| parent | 9dd30b6080c0c99c8c9fc4638d380649a7f79607 (diff) | |
| download | builder-b401b1f7c3b83c095adb01bfeded39d77f5d663f.tar.xz | |
bin/db-update: touch mv* and rm* files in case they're not there yetdb-update
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions