Add a ".pref" extension to the preferences files.

2015-11-03 19:04:56 +01:00 · 2015-11-03 19:04:56 +01:00 · e831e9664c
commit e831e9664c
parent b78a2cec85
4 changed files with 1 additions and 0 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@ -8,6 +8,7 @@
 * Ensure to disable dangerous modules (firewire, thunderbolt, …).
 * Add the possibility to set the GRUB_TIMEOUT
 * Exit if no informations file is available.
+* Add a ".pref" extension to the preferences files.

 ### 0.3.0

--- a/apt/preferences.d/default.pref
+++ b/apt/preferences.d/default.pref
--- a/apt/preferences.d/icedove.pref
+++ b/apt/preferences.d/icedove.pref
--- a/apt/preferences.d/iceweasel.pref
+++ b/apt/preferences.d/iceweasel.pref