diff options
| author |  Santiago Vila <[email protected]> | 2025-05-12 20:55:00 +0200 |
|---|---|---|
| committer | Santiago Vila <[email protected]> | 2025-05-12 20:55:00 +0200 |
| commit | 35a6cf7a94d6673307f682598ad755f0beabe697 (patch) | |
| tree | 71b6b069040bfccaea4644a3c61582c4f84b84b1 /share/profile | |
| parent | 83723fddec1dc915a4a946b9eb303b56bebe166b (diff) | |
| download | base-files-35a6cf7a94d6673307f682598ad755f0beabe697.tar.gz base-files-35a6cf7a94d6673307f682598ad755f0beabe697.zip | |
Add DEBIAN_VERSION_FULL to os-release, with the same contents as /etc/debian_version. Closes: #931197.
This is only expected to exist on stable releases.
Diffstat (limited to 'share/profile')
0 files changed, 0 insertions, 0 deletions