unfortunately no comments are allowed in that file

diff --git a/files/preferences b/files/preferences
index eea7f86a3ee087e990fbc2215a7219f98d7718b2..e893b7e15a8cc826af238ee9e6413a7d5e41ffde 100644 (file)
--- a/files/preferences
+++ b/files/preferences
@@ -1,6 +1,3 @@
-// This file is managed by Puppet
-// all local modifications will be overwritten
-
 Package: *
 Pin: release a=unstable
 Pin-Priority: 1