src/wifi/model/aarfcd-wifi-manager.cc
changeset 7385 10beb0e53130
parent 7141 072fb225b714
child 9705 43fa2408aa05
--- a/src/wifi/model/aarfcd-wifi-manager.cc	Tue Aug 02 05:04:37 2011 -0700
+++ b/src/wifi/model/aarfcd-wifi-manager.cc	Tue Aug 02 17:42:33 2011 -0400
@@ -1,4 +1,4 @@
-/* -*-  Mode: C++; c-file-style: "gnu"; indent-tabs-mode:nil; -*- */
+/* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
 /*
  * Copyright (c) 2004,2005,2006 INRIA
  *