diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2020-11-08 13:08:46 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2020-11-08 13:08:46 +0100 |
| commit | dbedac4783f09292abb187d0c59d4032594038b6 (patch) | |
| tree | 8c74372bd97a480de440013af1dda4958189e24e /src/make_property.sh | |
| parent | 256edac683da4bf12d04897ea013ffb0c5893cec (diff) | |
Add Bug Closes
Diffstat (limited to 'src/make_property.sh')
0 files changed, 0 insertions, 0 deletions