summaryrefslogtreecommitdiffstats
path: root/production
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem@fripost.org>2017-05-30 13:48:25 +0200
committerGuilhem Moulin <guilhem@fripost.org>2017-05-30 13:48:25 +0200
commit789f4f2e1b01873b200b973584d1501ba32e3bfd (patch)
tree0e8a72ecfd8cb987f3baca74eb286c2cba308454 /production
parent39242fe991582f5f912912c2a12429f9d5c744c4 (diff)
Also install non-free firmwares on civett.
Diffstat (limited to 'production')
-rw-r--r--production2
1 files changed, 0 insertions, 2 deletions
diff --git a/production b/production
index 2b78b20..70cc332 100644
--- a/production
+++ b/production
@@ -68,8 +68,6 @@ wiki
[munin-master:children]
benjamin
-[non-free:children]
-elefant
[backports:children]
webmail