diff options
author | Gabriel Filion <gabster@lelutin.ca> | 2017-07-02 01:44:38 -0400 |
---|---|---|
committer | Gabriel Filion <gabster@lelutin.ca> | 2017-07-02 01:44:38 -0400 |
commit | 14872fa632f4ae73b75464706e100967c9c9035f (patch) | |
tree | 0733caaf6142f13a863877fb91e52fc607464ade /files/Debian/preferences_fallback | |
parent | 5bbc86ff4f4a601a3924805a13fc1c5154670289 (diff) |
Rename "stable" preferences file to "current_codename"
The file that we call "stable" can make apt actually pin testing or sid
if one of these is the running codename, which is nothing stable.
In order to make this file's name more relevant it should be named
current_codename.
Diffstat (limited to 'files/Debian/preferences_fallback')
0 files changed, 0 insertions, 0 deletions