| Index: tools/timer/SysTimer_windows.h | 
| diff --git a/tools/timer/SysTimer_windows.h b/tools/timer/SysTimer_windows.h | 
| deleted file mode 100644 | 
| index 380debd3132f714af407abe64719dd77c54446e1..0000000000000000000000000000000000000000 | 
| --- a/tools/timer/SysTimer_windows.h | 
| +++ /dev/null | 
| @@ -1,25 +0,0 @@ | 
| -/* | 
| - * Copyright 2011 Google Inc. | 
| - * | 
| - * Use of this source code is governed by a BSD-style license that can be | 
| - * found in the LICENSE file. | 
| - */ | 
| -#ifndef SysTimer_DEFINED | 
| -#define SysTimer_DEFINED | 
| - | 
| -//Time | 
| -#define WIN32_LEAN_AND_MEAN 1 | 
| -#include <windows.h> | 
| - | 
| -class SysTimer { | 
| -public: | 
| -    void startWall(); | 
| -    void startCpu(); | 
| -    double endCpu(); | 
| -    double endWall(); | 
| -private: | 
| -    ULONGLONG fStartCpu; | 
| -    unsigned __int64 fStartWall; | 
| -}; | 
| - | 
| -#endif | 
|  |