diff options
| author | Vagrant Cascadian <vagrant@reproducible-builds.org> | 2022-04-17 22:11:12 +0000 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2022-05-07 10:45:44 +0200 |
| commit | 725fef5ebf45d03fea75866e9795717bf576d26a (patch) | |
| tree | 4bef451e63e985d486c7e83d814a415af6c36312 /vendor | |
| parent | e6cefc7683de4f29be7ebcab004ea0ab80ce49bc (diff) | |
Add support for "nodoc" build profile
References: https://wiki.debian.org/BuildProfileSpec#Registered_profile_names
Closes: #1009797
[@donkult: reworded commit message slightly & changed variable name]
Diffstat (limited to 'vendor')
0 files changed, 0 insertions, 0 deletions