diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-23 15:06:31 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-23 15:06:31 +0200 |
| commit | 96773fdedcae8354aa720c63fb289140d482529d (patch) | |
| tree | baa606aae5fb7abd22c42815d35e8053c942ba1a /misc | |
| parent | 4726ed62362267d10ea571da4f7ab75b0859b78d (diff) | |
| download | builder-96773fdedcae8354aa720c63fb289140d482529d.tar.xz | |
do not address deletion-list directly, but rather by its stability "forbidden"
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions