diff options
author | Martin Fischer <martin@push-f.com> | 2022-07-17 10:42:39 +0200 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2022-07-17 10:43:29 +0200 |
commit | 164c75269ceb4de6b2e97d55d5625ee4ca4943dd (patch) | |
tree | f9f1a9d99024af62c0577ab3a48a4444333ad715 /.gitignore | |
parent | d35e72bb8f311d0b7d144fef79b3eed045260956 (diff) |
detect proposals without text as stubs
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions