src/core/unix-system-wall-clock-ms.cc
changeset 110 9ac6d63bfe33
parent 54 f860e6f94787
child 122 6b8f1eda5c57
--- a/src/core/unix-system-wall-clock-ms.cc	Mon Oct 02 11:43:54 2006 +0200
+++ b/src/core/unix-system-wall-clock-ms.cc	Mon Oct 02 14:34:53 2006 +0200
@@ -1,4 +1,4 @@
-/* -*-    Mode:C++; c-basic-offset:4; tab-width:4; indent-tabs-mode:f -*- */
+/* -*-    Mode:C++; c-basic-offset:4; tab-width:4; indent-tabs-mode:nil -*- */
 /*
  * Copyright (c) 2005 INRIA
  * All rights reserved.