diff options
| author | Gibheer <gibheer+git@zero-knowledge.org> | 2019-08-12 14:49:32 +0200 |
|---|---|---|
| committer | Gibheer <gibheer+git@zero-knowledge.org> | 2019-08-12 14:49:32 +0200 |
| commit | 88b50033d0e9808a4657ff56835c6dacc77cd433 (patch) | |
| tree | 77bceb02fe66819f25f5e4d890c4e7325cc62f48 /efa2f5b307be6db42b781be4f9d86306114c0cb8 | |
| parent | 0202d1c4102860dd99f9aed72557c4cdf7ed983b (diff) | |
make build the default
Diffstat (limited to 'efa2f5b307be6db42b781be4f9d86306114c0cb8')
0 files changed, 0 insertions, 0 deletions