diff options
author | Daniel Friesel <derf@finalrewind.org> | 2019-04-25 07:52:51 +0200 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2019-04-25 07:52:51 +0200 |
commit | 1e2e33399ff742f9b099fc219c41d2033ee233f7 (patch) | |
tree | 02c9c57f2d9d1c6e33bd14644591cc52ea32a4d8 /.gitignore | |
parent | 35b3fc44e9a6492ef1d7102f73b59da57401c3f8 (diff) |
checked_in: distinguish between unknown and not-yet-known arrival
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions