diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-30 11:50:21 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-30 11:50:21 +0100 |
| commit | 9bd51c9d12fd51c72b28d01bc104bfd03007a9f2 (patch) | |
| tree | 2e6af1ae26482de66a90e7185942e64abca0ebb5 /.gitignore | |
| parent | e871b73b7c0119db5bcc184842e0c309109168cf (diff) | |
| download | builder-9bd51c9d12fd51c72b28d01bc104bfd03007a9f2.tar.xz | |
lib/intentions-queue: run initialization if necessary *inside* the intentions
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions