diff options
| author | fpi | 2020-08-23 13:06:36 +0200 |
|---|---|---|
| committer | fpi | 2020-08-23 13:09:12 +0200 |
| commit | cfeec023d5a401756773657cf3f86aacaca87c0b (patch) | |
| tree | 87f8ba747653f21b69b6c8c3484091ab70b889d6 /.gitignore | |
| parent | Create directory to save hashes if it does not exist (diff) | |
Add make target for dev+ branch
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions